( en | de | ru )

 

Disambiguation of "Kordon, Fabrice"

Author of the publication

copydeleteadd this publication to your clipboard
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina.

, , , and . IEEE International Workshop on Rapid System Prototyping, page 106-112. IEEE Computer Society, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrich Kordon

Anja Kordon

Michael Kordon

Günter Kordon

Andreas Kordon

 

Other publications of authors with the same name

Model Checking Using Generalized Testing Automata., , and . Trans. Petri Nets Other Model. Concurr., (2012)Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System., , , and . FAABS, volume 1871 of Lecture Notes in Computer Science, page 123-132. Springer, (2000)Design, modeling and analysis of ITS using UML and Petri Nets., , , and . ITSC, page 314-319. IEEE, (2007)MetaScribe, an Ada-based Tool for the Construction of Transformation Engines.. Ada-Europe, volume 1622 of Lecture Notes in Computer Science, page 308-319. Springer, (1999)Hierarchical Set Decision Diagrams and Automatic Saturation., , and . Petri Nets, volume 5062 of Lecture Notes in Computer Science, page 211-230. Springer, (2008)Experiences in Model Driven Verification of Behavior with UML., and . Monterey Workshop, volume 6028 of Lecture Notes in Computer Science, page 181-200. Springer, (2008)Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach., , , and . Monterey Workshop, volume 7539 of Lecture Notes in Computer Science, page 330-352. Springer, (2012)A Model Based Development Approach for Distributed Embedded Systems., , and . RISSEF, volume 2941 of Lecture Notes in Computer Science, page 137-151. Springer, (2002)Efficient state-based analysis by introducing bags in Petri nets color domains., , , , and . ACC, page 5018-5025. IEEE, (2009)Guest Editor's Introduction: Rapid System Prototyping.. IEEE Distributed Syst. Online, (2007)