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

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