Connexion
All theses
Ongoing thesis
Individuals
Organisations
Deactivate Autocomplete
Activate Autocomplete
Title
Keywords
Abstract
Discipline
Full text
Author
Thesis supervisor
Thesis committee President
Examiner
Thesis committee member
All roles
Institutions of thesis defence
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
and
or
Title
Keywords
Abstract
Discipline
Full text
Author
Thesis supervisor
Thesis committee President
Examiner
Thesis committee member
All roles
Institutions of thesis defence
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
and
or
Title
Keywords
Abstract
Discipline
Full text
Author
Thesis supervisor
Thesis committee President
Examiner
Thesis committee member
All roles
Institutions of thesis defence
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
and
or
Viva date
Enrollment date
Defending date
from
to
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
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
Access online