YEDDES Mohamed Moez
Approches formelles de vérification dans le cadre des systèmes à événements discrets et des systèmes hybrides
مناقـشـة مـذكـرة : 22/10/2010
أعـضاء لجنة المناقـشة :
président : F. Kordon
rapporteurs : D. Buchs, S. Haddad et J.J. Lesage
examinateurs : B. Bérard et K. Barkaoui