Author of the publication

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.

 

Other publications of authors with the same name

Testability of a Communicating System Through an Environment., , , and . TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 529-543. Springer, (1993)A Bus Instrumentation Protocol Specified in LOTOS., , and . FORTE, page 263-269. North-Holland, (1990)On a Prolog Environment for Protocol Analysis., , and . ICDCS, page 444-451. IEEE Computer Society, (1986)Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets., , , and . ICSE, page 510-519. IEEE Computer Society, (1984)Petri nets as a common tool for design verification and hardware simulation., , and . DAC, page 109-116. ACM, (1976)A Formal Assessment of Synchronous Testability for Communicating Systems., , , and . ICDCS, page 149-156. IEEE Computer Society, (1993)Layered -net Specification of a Workshop., , and . PDPTA, page 2808-2814. CSREA Press, (1999)The Design and Validation by Petri Nets of a Mechanism for the Invocation of Remote Servers., , and . IFIP Congress, page 599-604. (1980)Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework., , and . PSTV, volume C-16 of IFIP Transactions, page 257-272. North-Holland, (1993)Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés., , and . SPLT, page 187-212. (1989)