Autor der Publikation

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development.

, , und . HASE, Seite 159-166. IEEE Computer Society, (2012)

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

Dependability in Pervasive Computing: Challenges and Chances.. JITR, 5 (1): 1-17 (2012)Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development., , und . HASE, Seite 159-166. IEEE Computer Society, (2012)Integrated formal methods for safety analysis of train systems., , , und . IFIP Congress Topical Sessions, Volume 156 von IFIP, Seite 637-642. Kluwer/Springer, (2004)Trajectory Description Conception for Industrial Robots., , und . ROBOTIK, VDE-Verlag, (2012)Formal Modeling and Verification of Systems with Self-x Properties., , und . ATC, Volume 4158 von Lecture Notes in Computer Science, Seite 38-47. Springer, (2006)Interactive Verification of Statecharts., , , und . SoftSpez Final Report, Volume 3147 von Lecture Notes in Computer Science, Seite 355-373. Springer, (2004)Programmers do not favor lambda expressions for concurrent object-oriented code., , und . Empirical Software Engineering, 24 (1): 103-138 (2019)Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models., , und . RSSRail, Volume 9707 von Lecture Notes in Computer Science, Seite 106-122. Springer, (2016)Robotic Task Sequencing Problem: A Survey., , und . J. Intell. Robotic Syst., 80 (2): 279-298 (2015)Handlungsadaptive Produktionsassistenz., und . GI-Jahrestagung, Volume P-208 von LNI, Seite 585-596. GI, (2012)