Connexion
Home
  • All theses
  • Ongoing thesis
  • Individuals
  • Organisations
Deactivate Autocomplete Activate Autocomplete






Clear

Advanced search
Only theses to be defended in the next 6 months
Only individuals in connection with a defended thesis or an ongoing thesis for less than five years
defended theses only defended and online theses
REPORT an error

previous individual
next individual

Jean-René Courtault

is the author of a thesis

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 wrote the following thesis:

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

by Jean-René Courtault supervised by Didier Galmiche - Université de Lorraine

Informatique
defended on 15-04-2015
Thèse soutenue

Access online
ABES
About | Helpdesk | Terms of Use | Données personnelles | Mentions légales | Accessibilité numérique