Jean Christophe Lloret

Publication Activity (10 Years)

Years Active: 1989-1992
Publications (10 Years): 0

Publications

Jean Christophe Lloret, J. L. Roux, B. Algayres, M. Chamontin
Modelling and Evaluation of a Satellite System Using EVAL*, a Petri Net Based Industrial Tool. Application and Theory of Petri Nets (1992)
Jean Christophe Lloret, Pierre Azéma, François Vernadat
Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets. CAV (1990)
Jean Christophe Lloret, Pierre Azéma, François Vernadat
Compositional Design and Verification of Communication Protocols, Using Labelled PETRI Nets. CAV (DIMACS/AMS volume) (1990)
Pierre Azéma, François Vernadat, Jean Christophe Lloret
Requirement Analysis for Communication Protocols. Automatic Verification Methods for Finite State Systems (1989)
Pierre Azéma, François Vernadat, Jean Christophe Lloret
Spécification Logique de Protocoles de Communication à l'aide de Réseaux Prédicat/Transition Etiquetés. SPLT (1989)