Login / Signup
Marc Förster
Publication Activity (10 Years)
Years Active: 2007-2013
Publications (10 Years): 0
Top Topics
Multiscale
High Level
Formal Methods
Source Code
Top Venues
ISSRE (Supplemental Proceedings)
</>
Publications
</>
Marc Förster
Conditional software specification & assurance: A practical assessment of contract-based approaches.
ISSRE (Supplemental Proceedings)
(2013)
Bernhard Kaiser
,
Catharina Gramlich
,
Marc Förster
State/event fault trees - A safety analysis model for software-controlled systems.
Reliab. Eng. Syst. Saf.
92 (11) (2007)