Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 6 (3)
  • Besançon (2)
  • Lille 1 (1)
  • Nancy 1 (1)
  • Paris 11 (1)
  • Paris, CNAM (1)
  • Toulouse, INPT (1)
  • Toulouse, INSA (1)
  • Toulouse, ISAE (1)
  • Université Paris-Saclay (ComUE) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (8)
  • Automatique et informatique (1)
  • Automatique, Génie Informatique, Traitement du Signal et des Images (1)
  • Automatique, Traitement du Signal, Génie Informatique (1)
  • Informatique et télécommunications (1)
  • Sûreté logicielle et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Informatique, télécommunications et électronique de Paris (2)
  • IAEM Lorraine (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (9)
  • anglais (4)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Julliand Jacques (2)
  • Barkaoui Kamel (1)
  • Bérard Béatrice (1)
  • Coulette Bernard (1)
  • Dal Zilio Silvano (1)
  • Encrenaz Emmanuelle (1)
  • Ghazel Mohamed (1)
  • Haddad Serge (1)
  • Le botlan Didier (1)
  • Morel Gérard (1)
  • Mountassir Hassan (1)
  • Munier-Kordon Alix (1)
  • Petin Jean-François (1)
  • Potop-Butucaru Maria (1)
  • Rozoy Brigitte (1)
  • Vernadat François B. (1)
  • Waeselynck Hélène (1)
  • Wiels Virginie (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (10)
  • Sciences de l'ingénieur (2)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

...-30 April 2004, Santa Fe, New Mexico, USA. 2004.117Titre : Vérification par Model Checking de Programmes...

Accéder en ligne
Automatique, Traitement du Signal, Génie Informatique

Soutenue le 17-07-2008
thèse soutenue
Informatique

Soutenue le 01-12-2015
thèse soutenue
Automatique, Génie Informatique, Traitement du Signal et des Images

Soutenue le 12-12-2016
thèse soutenue

Résultats 1 à 10