Résultats 1 à 9

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse, INSA (2)
  • Grenoble INPG (1)
  • Lyon, INSA (1)
  • Nantes (1)
  • Nice (1)
  • Paris 6 (1)
  • Paris 7 (1)
  • Sorbonne université (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Automatique et informatique appliquée (1)
  • Hydrologie urbaine (1)
  • Sciences appliquées (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Systèmes (2)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (7)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Leriche Sébastien (2)
    • Pouzet Marc (2)
    • Amadio Roberto (1)
    • Caromel Denis (1)
    • Chailloux Emmanuel (1)
    • Le Gauffre Pascal (1)
    • Mauras Christophe (1)
    • Picard Célia (1)
    • Prun Daniel (1)
    • Roux Olivier Henri (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (7)
    • Sciences de l'ingénieur (3)

    Domaines :

    Fullscreen
    Informatique

    Soutenue en 2008
    thèse soutenue

    Vérification d’un langage informatique réactif orienté interactions et de ses composants

    par Nicolas Nalpon sous la direction de Sébastien Leriche et de Célia Picard. - Toulouse, INSA

    Informatique

    En préparation depuis le 01-10-2019
     thèse en cours de préparation

    ...programmeurpour décrire l’état de l’application qu’est le modèle, comme Redux [84].La programmation réactive...

    Accéder en ligne
    Automatique et informatique appliquée

    Soutenue en 2002
    thèse soutenue

    Vérification formelle des propriétés graphiques des systèmes informatiques interactifs

    par Pascal Beger sous la direction de Sébastien Leriche et de Daniel Prun. - Toulouse, INSA

    Informatique

    En préparation depuis le 16-10-2017
     thèse en cours de préparation
    Soutenance prévue le 30-10-2020

    Résultats 1 à 9