Person

M.Sc. Sven Sieverding

 

Forschungsbereiche

Verkehr / Safety Analysis & Verification

 

Raum

Schuler EG 3

Telefon

+49 441 9722-452

E-Mail

sven.sieverding [ A T ] offis.de

 

Publikationen

Titel

Detecting consistencies and inconsistencies of pattern-based functional requirements

Buchtitel

Formal Methods for Industrial Critical Systems

Alle Autoren

Christian Ellen and Sven Sieverding and Hardi Hungar

Jahr

2014

Titel

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

Buchtitel

FESCA

Alle Autoren

Sven Sieverding and Christian Ellen and Peter Battram

Jahr

2013