Autor der Publikation

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

Trajectory Description Conception for Industrial Robots., , und . ROBOTIK, VDE-Verlag, (2012)Interactive Verification of Statecharts., , , und . SoftSpez Final Report, Volume 3147 von Lecture Notes in Computer Science, Seite 355-373. Springer, (2004)Using model-based analysis in certification of critical software-intensive systems., , und . Software Engineering (Workshops), Volume P-199 von LNI, Seite 155-162. GI, (2012)Programmers do not favor lambda expressions for concurrent object-oriented code., , und . Empirical Software Engineering, 24 (1): 103-138 (2019)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)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)Dependability in Pervasive Computing: Challenges and Chances.. JITR, 5 (1): 1-17 (2012)Handlungsadaptive Produktionsassistenz., und . GI-Jahrestagung, Volume P-208 von LNI, Seite 585-596. GI, (2012)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)