Author of the publication

Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical Systems.

, and . SAFECOMP Workshops, volume 9338 of Lecture Notes in Computer Science, page 121-132. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest., and . Inform., Forsch. Entwickl., 15 (3): 119-120 (2000)Using communication coverage criteria and partial model generation to assist software integration testing., , , and . Software Quality Journal, 16 (2): 185-211 (2008)Software-Qualität - testen, analysieren und verifizieren von Software.. Spektrum Akadem. Verl., (2002)Modeling and Analysis of Safety-Critical Cyber Physical Systems using State/Event Fault Trees., and . DECS@SAFECOMP, HAL, (2013)Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a System., and . DECS@SAFECOMP, HAL, (2013)Implications of the Operational Environmental on Software Security Requirements Engineering., and . WOSIS, page 63-74. SciTePress, (2014)A Framework for Generating Integrated Component Fault Trees from Architectural Views., and . HASE, page 114-121. IEEE Computer Society, (2012)Efficient reachability graph development for qualitive analysis of state/event fault trees., , and . ISSRE Workshops, page 144-151. IEEE Computer Society, (2015)Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren.. Testen, Analysieren und Verifizieren von Software, page 1-25. Springer, (1992)Ein experimentelles Testsystem für die Sprache HyperTalk., , and . Testen, Analysieren und Verifizieren von Software, page 177-186. Springer, (1992)