Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Christophe Morvan

est l'auteur d'une thèse
a dirigé 1 thèse

Automates mathématiques, Théorie des Diagnostic Informatique -- Mathématiques Ioco Langages formels Modèles mathématiques Opacité Système récursifs Systèmes informatiques Systèmes récursifs de tuiles Test de conformité

Fullscreen

Automates mathématiques, Théorie des Diagnostic Informatique -- Mathématiques Ioco Langages formels Modèles mathématiques Opacité Système récursifs Systèmes informatiques Systèmes récursifs de tuiles Test de conformité

Christophe Morvan a rédigé la thèse suivante :

Les graphes rationnels

par Christophe Morvan sous la direction de Didier Caucal - Rennes 1

Informatique

Soutenue en 2001

Thèse soutenue

Christophe Morvan a dirigé la thèse suivante :

Diagnostic, opacité et test de conformité pour des systèmes récursifs

par Sébastien Chédor sous la direction de Thierry Jéron et de Christophe Morvan . - Rennes 1

Informatique

Soutenue le 07-01-2014

Thèse soutenue

Accéder en ligne