( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Verification of AADL Specifications in the Topcased Environment.

, , , , , и . Ada-Europe, том 5570 из Lecture Notes in Computer Science, стр. 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.

François Weirich

François Franceschi

François Elvinger

François Melis

François Guers

 

Другие публикации лиц с тем же именем

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