( en | de | ru )

 

Disambiguation of "Kordon, Fabrice"

Author of the publication

copydeleteadd this publication to your clipboard
FrameKit and the prototyping of CASE environments.

, and . IEEE International Workshop on Rapid System Prototyping, page 91-97. IEEE Computer Society, (1997)

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

Design, modeling and analysis of ITS using UML and Petri Nets., , , and . ITSC, page 314-319. IEEE, (2007)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)On the Formal Verification of Middleware Behavioral Properties., , , , , and . FMICS, volume 133 of Electronic Notes in Theoretical Computer Science, page 139-157. Elsevier, (2004)Using the AADL to Describe Distributed Applications from Middleware to Software Components., , and . Ada-Europe, volume 3555 of Lecture Notes in Computer Science, page 67-78. Springer, (2005)A Framework for DRE middleware, an Application to DDS., , and . ISORC, page 224-231. IEEE Computer Society, (2006)From AADL Architectural Models to Petri Nets: Checking Model Viability., , and . ISORC, page 313-320. IEEE Computer Society, (2009)Model Driven Engineering versus Organic Computing, Two Complementary Approaches.. ISORC, page 99-100. IEEE Computer Society, (2009)Revisiting COTS middleware for DRE systems., , and . ISORC, page 72-79. IEEE Computer Society, (2005)Efficient state-based analysis by introducing bags in Petri nets color domains., , , , and . ACC, page 5018-5025. IEEE, (2009)Have You Found the Error? A Formal Framework for Learning Game Verification., , , , and . EC-TEL, volume 8719 of Lecture Notes in Computer Science, page 476-481. Springer, (2014)