Michel Diaz

8 published titles

Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS, T

(Contributor)

1 edition

The Formal description technique Estelle : results of the ESPRIT/SEDOS Project

(Contributor)

1 edition

The Formal description technique Lotos : results of the ESPRIT/SEDOS Project

(Contributor)

1 edition

Formal description techniques, V : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perr

(Contributor)

1 edition

Application of Petri nets to communication networks : advances in Petri nets

(Contributor)

1 edition

Interactive distributed multimedia systems and telecommunication services : 6th international workshop, IDMS '99, Toulouse, France, October 12-15, 1999 : proceedings

(Contributor)

1 edition

Communicating systems with UML2 : modeling and analysis of network protocols

(Contributor)

1 edition

Satellite and terrestrial hybrid networks

(Contributor)

1 edition