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

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
ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales | Accessibilité numérique