PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Courtiat, Jean-Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project.

, and . FORTE, page 15-29. North-Holland, (1988)

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.

Pierre Nacke University of Stuttgart

Dr. rer. nat. Pierre Eckold University of Stuttgart

Pierre Kuna University of Stuttgart

Jean-Noel Grad University of Stuttgart

Jean-Louis Hoslauer University of Stuttgart

 

Other publications of authors with the same name

Observer-A Concept for Formal On-Line Validation of Distributed Systems., , and . IEEE Trans. Software Eng., 20 (12): 900-913 (1994)Verification by abstraction as a preamble for interoperability test suite generation., , and . PSTV, volume 1 of IFIP Conference Proceedings, page 152-166. Chapman & Hall, (1994)About time nondeterminism and exception handling in a temporal extension of LOTOS., and . PSTV, volume 1 of IFIP Conference Proceedings, page 37-52. Chapman & Hall, (1994)Specification and Validation of Multimedia Protocols using RT-LOTOS., , and . FTDCS, page 354-362. IEEE Computer Society, (1995)A LOTOS Based Calculus with True Concurrency Semantics., and . FORTE, volume C-2 of IFIP Transactions, page 559-574. North-Holland, (1991)From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform., , and . SEFM, page 250-260. IEEE Computer Society, (2005)Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems., , and . Current Trends in Concurrency, volume 224 of Lecture Notes in Computer Science, Springer, (1986)Providing consistent SMIL 2.0 documents., and . ICME (2), page 337-340. IEEE Computer Society, (2002)0-7803-7304-9.Formal Design of Interactive Multimedia Documents.. FORTE, volume 2767 of Lecture Notes in Computer Science, page 351-366. Springer, (2003)A Causality-based Semantics for CCS., and . NAPAW, page 200-215. Springer, (1992)