Étude du débogage des systèmes réactifs et application au langage synchrone Lustre
FR |
EN
Auteur / Autrice : | Fabien Gaucher |
Direction : | Florence Maraninchi |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique. Systèmes et communications |
Date : | Soutenance en 2003 |
Etablissement(s) : | Grenoble INPG |