Knowledge Tree

researcher / Jean-Pierre Courtiat

Jean-Pierre Courtiat

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Contribution a la description formelle de protocoles

Directed Thesis:

Leica : un environnement faiblement couplé pour l'intégration d'applications collaboratives

CoLab : conception et mise en oeuvre d'un outil pour la navigation coopérative sur le web

Une approche formelle pour la conception et la vérification de documents hypermédia

Méthodes de synchronisation dans les systèmes répartis multimédia : une approche intégrant relations de causalité et contraintes temporelles

Contribution a la conception de systemes flexibles de production : application de la technique de description formelle estelle

Prototypage d'un environnement de validation de protocoles : application à l'approche ESTELLE