Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Compiègne (1)
  • Côte d'Azur (1)
  • Dijon (1)
  • Grenoble (1)
  • Grenoble Alpes (1)
  • Lyon (1)
  • Mulhouse (1)
  • Orléans (1)
  • Paris Saclay (1)
  • Toulouse 3 (1)
  • Toulouse, INSA (1)
  • Universitatea politehnica (Bucarest) (1)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (8)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Automatique (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (12)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Badonnel Rémi (1)
    • Berthomieu Bernard (1)
    • Berthomé Pascal (1)
    • Comet Jean-Paul (1)
    • Cristea Valentin (1)
    • Garavel Hubert (1)
    • Guiochet Jérémie (1)
    • Hassenforder Michel (1)
    • Jenn Éric (1)
    • Loulergue Frédéric (1)
    • Lussier Benjamin (1)
    • Merz Stephan (1)
    • Nicolle Christophe (1)
    • Niel Eric (1)
    • Potet Marie-Laure (1)
    • Rampacek Sylvain (1)
    • Schön Walter (1)
    • Soumelis Vassili (1)
    • Vernadat François B. (1)
    • Waeselynck Hélène (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (10)
    • Sciences de l'ingénieur (3)
    • Mathématiques (1)
    • Sciences de la vie, biologie, biochimie (1)

    Domaines :

    Fullscreen

    12 thèses pour "Model Checker NuSMV"

    Informatique

    Soutenue le 11-12-2012
    thèse soutenue
    Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253)

    Soutenue le 23-11-2018
    thèse soutenue

    Résultats 1 à 10