Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 6 (3)
  • Toulouse, INPT (2)
  • Grenoble (1)
  • Montpellier 2 (1)
  • Nantes (1)
  • Paris 11 (1)
  • Rennes 1 (1)
  • Université Joseph Fourier (Grenoble) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (3)
  • Sciences appliquées (3)
  • Automatique, traitement du signal et génie informatique (1)
  • Electronique (1)
  • Sciences et techniques (1)
  • Sciences et technologie industrielles (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • Ecole doctorale Informatique de Paris-Sud (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (10)
  • anglais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Greiner Alain (3)
  • Aït-Ameur Yamine (1)
  • Borrione Dominique (1)
  • Diaz Michel (1)
  • Giambiasi Norbert (1)
  • Houzet Dominique (1)
  • Marcé Lionel (1)
  • Pantel Marc (1)
  • ROUX O. (1)
  • Terrier François (1)
  • Villemur Thierry (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Sciences de l'ingénieur (7)
  • Informatique (5)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen
Sciences appliquées

Soutenue en 1996
thèse soutenue
Automatique, traitement du signal et génie informatique

Soutenue en 1993
thèse soutenue
Electronique

Soutenue en 1992
thèse soutenue

...’ordonnancement basée sur les modèles. Parmi les techniques de vérification temporelle on cite essentiellement l...

Accéder en ligne
Sciences et techniques

Soutenue en 1998
thèse soutenue
Informatique

Soutenue en 1997
thèse soutenue

Résultats 1 à 10