( 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

Andreas Kordon

Günter Kordon

 

Weitere Publikationen von Autoren mit dem selben Namen

Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System., , , und . FAABS, Volume 1871 von Lecture Notes in Computer Science, Seite 123-132. Springer, (2000)Design, modeling and analysis of ITS using UML and Petri Nets., , , und . ITSC, Seite 314-319. IEEE, (2007)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)Efficient state-based analysis by introducing bags in Petri nets color domains., , , , und . ACC, Seite 5018-5025. IEEE, (2009)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)On the Formal Verification of Middleware Behavioral Properties., , , , , und . FMICS, Volume 133 von Electronic Notes in Theoretical Computer Science, Seite 139-157. Elsevier, (2004)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)