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

Jean-René Courtault

est l'auteur d'une thèse

Dynamique Extraction de contre-Modèles Logique informatique Logiques de ressources Logiques de séparation Modélisation Méthodes des tableaux Méthodes formelles Méthodes formelles Recherche de preuves Simulation, Méthodes de Systèmes dynamiques Systèmes, Conception de Vérification et preuve

Fullscreen

Dynamique Extraction de contre-Modèles Logique informatique Logiques de ressources Logiques de séparation Modélisation Méthodes des tableaux Méthodes formelles Méthodes formelles Recherche de preuves Simulation, Méthodes de Systèmes dynamiques Systèmes, Conception de Vérification et preuve

Jean-René Courtault a rédigé la thèse suivante :

Logiques de ressources dynamiques : modèles, propriétés et preuves

par Jean-René Courtault sous la direction de Didier Galmiche - Université de Lorraine

Informatique

Soutenue le 15-04-2015

Thèse soutenue

Accéder en ligne