PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Lüttgen, Gerald"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Comparing trace recordings of automotive real-time software.

, , , und . RTNS, Seite 118-127. ACM, (2017)

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.

Gerald Blessing University of Stuttgart

Gerald Stöckl University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Modeling and Verifying Distributed Systems Using Priorities: A Case Study., , , und . Software - Concepts and Tools, 17 (2): 50-62 (1996)Compositional Minimisation of Finite State Systems Using Interface Specifications., , und . Formal Asp. Comput., 8 (5): 607-616 (1996)Bisimulation on speed: A unified approach., und . Theor. Comput. Sci., 360 (1-3): 209-227 (2006)A compositional approach to statecharts semantics., , und . SIGSOFT FSE, Seite 120-129. ACM, (2000)Nondeterministic Modal Interfaces., , , und . Theor. Comput. Sci., (2016)The intuitionism behind Statecharts steps., und . ACM Trans. Comput. Log., 3 (1): 1-41 (2002)Using formal specifications to support testing., , , , , , , , , und 5 andere Autor(en). ACM Comput. Surv., 41 (2): 9:1-9:76 (2009)What Is in a Step: New Perspectives on a Classical Question., , und . Essays in Memory of Amir Pnueli, Volume 6200 von Lecture Notes in Computer Science, Seite 370-399. Springer, (2010)Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams., , und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 648-663. Springer, (2007)Accessing Databases within Esterel., und . SYNCHRON, Volume 04491 von Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)