( en | de | ru )

 

Disambiguierung von "Kordon, Fabrice"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs.

, und . Monterey Workshop, Volume 5320 von Lecture Notes in Computer Science, Seite 15-24. Springer, (2007)

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

Design, modeling and analysis of ITS using UML and Petri Nets., , , und . ITSC, Seite 314-319. IEEE, (2007)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)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)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)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)