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)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (3)
  • Sciences appliquées (3)
  • Automatique, traitement du signal et génie informatique (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 (9)
  • anglais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Greiner Alain (3)
  • Aït-Ameur Yamine (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 (6)
  • Informatique (4)
  • 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

...’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

...'architecture en 3D à l'aide des outils de CAO 2D disponibles principalement axés sur la vérification temporelle 3D...

Accéder en ligne

Résultats 1 à 10