Thèse de doctorat en Informatique. Systèmes et communication
Sous la direction de Florence Maraninchi.
Soutenue en 2003
à Grenoble INPG .
Pas de résumé disponible.
Functional debugging of reactive systems, and application to the synchronous language Lustre
Pas de résumé disponible.