Persons

M.Sc. Sven Sieverding

 

Research and Developement Division

Verkehr / Safety Analysis & Verification

 

Room

Schuler EG 3

Phone

+49 441 9722-452

E-Mail

sven.sieverding [ A T ] offis.de

 

Publications

Title

Detecting consistencies and inconsistencies of pattern-based functional requirements

booktitle

Formal Methods for Industrial Critical Systems

Alle Autoren

Christian Ellen and Sven Sieverding and Hardi Hungar

Year

2014

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