Persons

Dipl.-Inform. Peter Battram

 

Research and Developement Division

Verkehr / Safety Analysis & Verification

Competence Center

Dependable Systems

 

Room

Schuler EG3

Phone

+49 441 9722-478

E-Mail

peter.battram [ A T ] offis.de

 

Publications

Title

A Modular Safety Assurance Method considering Multi-Aspect Contracts during Cyber Physical System Design

booktitle

1st International Workshop on Requirements Engineering for Self-Adaptive and Cyber-Physical Systems (RESACS)

Alle Autoren

Peter Battram and Bernhard Kaiser and Raphael Weber

Year

2015

Title

Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets

booktitle

FESCA

Alle Autoren

Sven Sieverding and Christian Ellen and Peter Battram

Year

2013