Approches formelles de vérification dans le cadre des systèmes à événements discrets et des systèmes hybrides
Phd defence : 10/22/2010Jury members :
président : F. Kordonrapporteurs : D. Buchs, S. Haddad et J.J. Lesage
examinateurs : B. Bérard et K. Barkaoui
Departure date : 10/22/2010