Etude du débogage des systèmes réactifs et application au langage synchrone Lustre

par Fabien Gaucher

Thèse de doctorat en Informatique. Systèmes et communication

Sous la direction de Florence Maraninchi.

Soutenue en 2003

à Grenoble, INPG .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 148 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 141-148

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : TS03/INPG/0100
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS03/INPG/0100/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.