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

Hoang Gia Nguyen

est l'auteur d'une thèse

Algorithmes parallèles Automates temporisés Comportements Zeno Exploration de données Synthèse de paramètres Temps réel Vérification de modèles Vérification distribuée Vérification paramétrée

Fullscreen

Algorithmes parallèles Automates temporisés Comportements Zeno Exploration de données Synthèse de paramètres Temps réel Vérification de modèles Vérification distribuée Vérification paramétrée

Hoang Gia Nguyen a rédigé la thèse suivante :

Efficient Parametric Verification of Parametric Timed Automata

par Hoang Gia Nguyen sous la direction de Laure Petrucci et de Etienne André . - Sorbonne Paris Cité

Informatique

Soutenue le 28-08-2018

Thèse soutenue

Accéder en ligne