Jean Christophe Lloret

According to our database, Jean Christophe Lloret authored at least 4 papers between 1989 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1992

Modelling and Evaluation of a Satellite System Using EVAL*, a Petri Net Based Industrial Tool.

Jean Christophe Lloret, J. L. Roux, B. Algayres, M. Chamontin

Proceedings of the Application and Theory of Petri Nets 1992, 1992

1990

Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets.

Jean Christophe Lloret, Pierre Azéma, François Vernadat

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés.

Pierre Azéma, François Vernadat, Jean Christophe Lloret

Proceedings of the SPLT'89, 1989

Requirement Analysis for Communication Protocols.

Pierre Azéma, François Vernadat, Jean Christophe Lloret

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989