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

Pas de résumé disponible.

Titre traduit

Functional debugging of reactive systems, and application to the synchronous language Lustre

Pas de résumé disponible.