( en | de | ru )

 

Disambiguierung von "Kordon, Fabrice"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Have You Found the Error? A Formal Framework for Learning Game Verification.

, , , , und . EC-TEL, Volume 8719 von Lecture Notes in Computer Science, Seite 476-481. Springer, (2014)

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.

Ulrich Kordon

Anja Kordon

Michael Kordon

Günter Kordon

Andreas Kordon

 

Weitere Publikationen von Autoren mit dem selben Namen

Using the AADL to Describe Distributed Applications from Middleware to Software Components., , und . Ada-Europe, Volume 3555 von Lecture Notes in Computer Science, Seite 67-78. Springer, (2005)A Framework for DRE middleware, an Application to DDS., , und . ISORC, Seite 224-231. IEEE Computer Society, (2006)From AADL Architectural Models to Petri Nets: Checking Model Viability., , und . ISORC, Seite 313-320. IEEE Computer Society, (2009)Model Driven Engineering versus Organic Computing, Two Complementary Approaches.. ISORC, Seite 99-100. IEEE Computer Society, (2009)Revisiting COTS middleware for DRE systems., , und . ISORC, Seite 72-79. IEEE Computer Society, (2005)A Model Based Development Approach for Distributed Embedded Systems., , und . RISSEF, Volume 2941 von Lecture Notes in Computer Science, Seite 137-151. Springer, (2002)Hierarchical Set Decision Diagrams and Automatic Saturation., , und . Petri Nets, Volume 5062 von Lecture Notes in Computer Science, Seite 211-230. Springer, (2008)MetaScribe, an Ada-based Tool for the Construction of Transformation Engines.. Ada-Europe, Volume 1622 von Lecture Notes in Computer Science, Seite 308-319. Springer, (1999)Experiences in Model Driven Verification of Behavior with UML., und . Monterey Workshop, Volume 6028 von Lecture Notes in Computer Science, Seite 181-200. Springer, (2008)Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach., , , und . Monterey Workshop, Volume 7539 von Lecture Notes in Computer Science, Seite 330-352. Springer, (2012)