Autor der Publikation

Tagungsband des 3. Workshops zur Software-Qualitätsmodellierung und -bewertung (SQMB '10)

, , , , und (Hrsg.) Technische Universität München, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Editorial Themenheft: Aktuelle Entwicklungen im Softwaretest., und . Inform., Forsch. Entwickl., 15 (3): 119-120 (2000)Using communication coverage criteria and partial model generation to assist software integration testing., , , und . 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., und . DECS@SAFECOMP, HAL, (2013)Combination of Safety and Security Analysis - Finding Security Problems That Threaten The Safety of a System., und . DECS@SAFECOMP, HAL, (2013)Implications of the Operational Environmental on Software Security Requirements Engineering., und . WOSIS, Seite 63-74. SciTePress, (2014)A Framework for Generating Integrated Component Fault Trees from Architectural Views., und . HASE, Seite 114-121. IEEE Computer Society, (2012)Efficient reachability graph development for qualitive analysis of state/event fault trees., , und . ISSRE Workshops, Seite 144-151. IEEE Computer Society, (2015)Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren.. Testen, Analysieren und Verifizieren von Software, Seite 1-25. Springer, (1992)Ein experimentelles Testsystem für die Sprache HyperTalk., , und . Testen, Analysieren und Verifizieren von Software, Seite 177-186. Springer, (1992)