Connexion
Retour à l'accueil
  • Toutes les thèses
  • Thèses en préparation
  • Personnes
  • Organismes
Désactiver l'autocomplétion Activer l'autocomplétion






Effacer

Recherche avancée
Uniquement les thèses en préparation dont la soutenance est prévue dans les 6 prochains mois
Uniquement les personnes en lien avec une thèse soutenue ou en préparation depuis moins de 5 ans
Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne
SIGNALER une erreur

personne précédente
personne suivante

Pavel Vassiliev

est l'auteur d'une 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  

Pavel Vassiliev a rédigé 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
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales