Author of the publication

Qualitative analysis of state/event fault trees for supporting the certification process of software-intensive systems.

, and . ISSRE (Supplemental Proceedings), page 353-358. IEEE Computer Society, (2013)

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

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)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)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)