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

Zhe Chen

est l'auteur d'une thèse

Automate Automates mathématiques, Théorie des Contrôle supervisé Grammaire Génération de modèle Langage formel Langages formels Model checking Monitoring de modèle Réécriture Systemes de contrôle Systèmes informatiques -- Mesures de sûreté Sécurité fonctionnelle UML Uml

Fullscreen

Automate Automates mathématiques, Théorie des Contrôle supervisé Grammaire Génération de modèle Langage formel Langages formels Model checking Monitoring de modèle Réécriture Systemes de contrôle Systèmes informatiques -- Mesures de sûreté Sécurité fonctionnelle UML Uml

Zhe Chen a rédigé la thèse suivante :

The control system in formal language theory and the model monitoring approach for reliability and safety

par Zhe Chen sous la direction de Gilles Motet - Toulouse, INSA

Systèmes informatiques

Soutenue le 09-07-2010

Thèse soutenue

Accéder en ligne