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

Aleksandra Jovanovic

est l'auteur d'une thèse

Automates temporisés Contrôle Jeux temporisés Model-checking Paramètres Systèmes hybrides Vérification de modèles

Fullscreen

Automates temporisés Contrôle Jeux temporisés Model-checking Paramètres Systèmes hybrides Vérification de modèles

Aleksandra Jovanovic a rédigé la thèse suivante :

Vérification parametrée de systèmes temporisés

par Aleksandra Jovanovic sous la direction de Didier Lime - Ecole centrale de Nantes

Informatique et applications

Soutenue en 2013

Thèse soutenue