( en | de | ru )

 

Disambiguierung von "Sifakis, Joseph"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A framework for automated distributed implementation of component-based models.

, , , , und . Distributed Comput., 25 (5): 383-409 (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.

Emmanuel Sifakis

Joseph Stegemann

Joseph Safferling

Joseph Specht

Joseph Müller

 

Weitere Publikationen von Autoren mit dem selben Namen

Rigorous system design.. PODC, Seite 292. ACM, (2014)The algebra of connectors: structuring interaction in BIP., und . EMSOFT, Seite 11-20. ACM, (2007)Component-Based Construction of Heterogeneous Real-Time Systems in Bip.. Petri Nets, Volume 5606 von Lecture Notes in Computer Science, Seite 1. Springer, (2009)Embedded Systems Design: The ARTIST Roadmap for Research and Development, und . Lecture Notes in Computer Science Springer, (2005)The Compositional Specification of Timed Systems - A Tutorial.. CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 2-7. Springer, (1999)Component-Based Construction of Real-Time Systems in BIP.. CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 33-34. Springer, (2009)Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures., , und . CoRR, (2019)The Embedded Systems Design Challenge., und . FM, Volume 4085 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2006)On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)., , und . STACS, Volume 900 von Lecture Notes in Computer Science, Seite 229-242. Springer, (1995)IF: An intermediate representation for SDL and its applications., , , , , , und . SDL Forum, Seite 423-440. Elsevier, (1999)