Courtiat, Jean-Pierre, 1951-....
Courtiat, J.-P. (Jean-Pierre)
Courtiat, Jean-Pierre
VIAF ID: 12371405 ( Personal )
Permalink: http://viaf.org/viaf/12371405
Preferred Forms
- 200 _ | ‡a Courtiat ‡b Jean-Pierre ‡f 1951-....
-
-
- 100 1 _ ‡a Courtiat, J.-P. ‡q (Jean-Pierre)
- 100 1 _ ‡a Courtiat, Jean-Pierre
-
-
- 100 1 _ ‡a Courtiat, Jean-Pierre ‡d 1951-...
- 100 1 _ ‡a Courtiat, Jean-Pierre, ‡d 1951-....
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Administration des réseaux : cours 353 | |
Une approche formelle pour la conception et la vérification de documents hypermedia | |
CFIP'2000, ingénierie des protocoles qualité de service, multimédia et mobilité actes du 8e Colloque francophone sur l'ingénierie des protocoles, Toulouse, France, 17-20 octobre 2000 | |
CoLab : conception et mise en oeuvre d'un outil pour la navigation coopérative sur le web | |
CoLab : design and implementation of a tool for browsing collaboratively on the Web. | |
Contribution à la description formelle de protocoles | |
CONTRIBUTION TO THE DESIGN OF FLEXIBLE MANUFACTURING SYSTEMS: APPLICATION OF THE FORMAL DESCRIPTION TECHNIQUE ESTELLE. | |
Un environnement OSI autour du compilateur ASN.1 MAVROS | |
ETUDE ET REALISATION D'UN SYSTEME HYBRIDE MITRA 15-EA1 680 | |
Extending CCS with multiway rendez-vous | |
An extension of the multi-way synchronization mechanism concealed by Estelle | |
Formal design of nteractive multimedia documents using RT-Lotos. | |
LEICA : un environnement faiblement couplé pour l'intégration d'applications collaboratives | |
Méthodes de synchronisation dans les systèmes répartis multimedia : une approche intégrant relations de causalité et contraintes temporelles | |
Multimedia modeling, c1996: | |
Protocoles et architectures des réseaux d'ordinateurs | |
Prototypage d'un environnement de validation de protocoles : application à l'approche ESTELLE | |
Sémantique de maximalité : application au raffinement d'actions dans LOTOS | |
Support de cours | |
Technology enhanced learning, c2005: | |
TeL'04 | |
Using extended time Petri nets for the verification of real-time systems described in RT-LOTOS. | |
Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temp-réel décrits en RT-LOTOS | |
WCC Toulouse 2004 |