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

Igor Soloviev

a dirigé 1 thèse

Langage de spécification exécutable Langages de programmation Logique des prédicats du premier ordre Logique du premier ordre Machines à états abstraits Model-checking Simulation Spécification formelle Systèmes à temps réel Temps réel Vérification

Fullscreen

Langage de spécification exécutable Langages de programmation Logique des prédicats du premier ordre Logique du premier ordre Machines à états abstraits Model-checking Simulation Spécification formelle Systèmes à temps réel Temps réel Vérification

Igor Soloviev a dirigé la thèse suivante :

Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre

par Pavel Vassiliev sous la direction de Danièle Beauquier et de Igor Soloviev . - Paris Est

Informatique

Soutenue le 27-11-2008

Thèse soutenue

Accéder en ligne