Unrestricted verification of protocol properties on a simulation: an observer approach, 6 th IFIP International Workshop on Protocol Specification, Testing, and Verification, 1986. ,
, Estelle: a Formal Description Technique based on an Extented State Transition Model, ISO 9074, 1989.
Development of VEDA: a prototyping tool for distributed algorithms, In IEEE Trans. on Software Engin, 1988. ,
URL : https://hal.archives-ouvertes.fr/inria-00071322
A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines, Proc. of the 9 th IFIP International Workshop on Protocol Specification, Testing, and Verification, 1989. ,
URL : https://hal.archives-ouvertes.fr/hal-00765072
, TRANSPAC. Spécifications Techniques d'Utilisation du Réseau. Direction Commerciale, Tour Montparnasse, 33 av. du Maine 75755, 1989.