( en | de | ru )

 

Disambiguation of "Vernadat, François"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of AADL Specifications in the Topcased Environment.

, , , , , and . Ada-Europe, volume 5570 of Lecture Notes in Computer Science, page 207-221. Springer, (2009)

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.

François Weirich

François Elvinger

François Renaud

François Steinbach

Audrey François

 

Other publications of authors with the same name

Covering Step Graph Preserving Failure Semantics., and . ICATPN, volume 1248 of Lecture Notes in Computer Science, page 253-270. Springer, (1997)Layered -net Specification of a Workshop., , and . PDPTA, page 2808-2814. CSREA Press, (1999)Permutable Agents in Process Algebras., , and . TACAS, volume 1055 of Lecture Notes in Computer Science, page 187-206. Springer, (1996)Requirement Analysis for Communication Protocols., , and . Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 286-293. Springer, (1989)Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets., , and . CAV, volume 531 of Lecture Notes in Computer Science, page 96-105. Springer, (1990)A model-driven engineering approach to formal verification of PLC programs., , , , , and . ETFA, page 1-8. IEEE, (2011)Covering Step Graph., , and . Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 516-535. Springer, (1996)Time Petri Nets Analysis with TINA., and . QEST, page 123-124. IEEE Computer Society, (2006)Distributed Coin Tossing., , and . ICDCS, page 244-249. IEEE Computer Society, (1994)A Communication Protocol for Conflict Resolution., , and . ICMAS, page 437. The MIT Press, (1995)