Connexion
Toutes les thèses
Thèses en préparation
Personnes
Organismes
Désactiver l'autocomplétion
Activer l'autocomplétion
Titre
Mots clés
Résumé
Discipline
Texte intégral
Auteur
Directeur de thèse
Président du jury
Rapporteur
Membre du jury
Tous rôles
Etablissement de soutenance
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
et
ou
Titre
Mots clés
Résumé
Discipline
Texte intégral
Auteur
Directeur de thèse
Président du jury
Rapporteur
Membre du jury
Tous rôles
Etablissement de soutenance
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
et
ou
Titre
Mots clés
Résumé
Discipline
Texte intégral
Auteur
Directeur de thèse
Président du jury
Rapporteur
Membre du jury
Tous rôles
Etablissement de soutenance
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
et
ou
Date de soutenance
Date d'inscription en doctorat
Date de soutenance prévue
De
à
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
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
Accéder en ligne