( en | de | ru )

 

Disambiguation of "Courtiat, Jean-Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
The Web as a Tool for Collaborative e-Learning: The Case of CoLab.

, , , and . ICALT, page 312-313. IEEE Computer Society, (2003)

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 Jean Regenet

Jean Pierre Calteux

Jean-Pierre Mazat

Jean-Pierre Dubost

Jean Pierre Vité

 

Other publications of authors with the same name

Relating maximality-based semantics to action refinement in process algebras., and . FORTE, volume 6 of IFIP Conference Proceedings, page 293-308. Chapman & Hall, (1994)A Reachability Analysis of RT-LOTOS Specifications., and . FORTE, volume 43 of IFIP Conference Proceedings, page 117-124. Chapman & Hall, (1995)Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995)., , , , , and . Computer Networks and ISDN Systems, 28 (13): 1845-1855 (1996)RT-LOTOS and Its Application to Multimedia Protocol Specification and Validation., and . MMNET, page 31-45. (1995)Towards a New Multimedia Synchronization Mechanism and its Formal Definition., , and . ACM Multimedia, page 133-140. ACM Press, (1994)Designing Consistent Multimedia Documents: The RT-LOTOS Methodology., , and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 290-303. Springer, (2007)An Extension of the Multi-Way Synchronization Mechanism Concealed by Estelle., and . PSTV, page 75-89. North-Holland, (1991)Scheduling and Presenting Interactive Multimedia Documents., and . ICME, IEEE Computer Society, (2001)Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model., , , and . MMM, page 21-222. IEEE Computer Society, (1998)ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project., and . FORTE, page 15-29. North-Holland, (1988)