YEDDES Mohamed Moez
特许任教资格
科研组 :
MoVe
Approches formelles de vérification dans le cadre des systèmes à événements discrets et des systèmes hybrides
答辩 : 2010-10-22 -
Site Jussieu - Salle Jean-Louis Laurière - 25-26/101评委会 :
président : F. Kordon
rapporteurs : D. Buchs, S. Haddad et J.J. Lesage
examinateurs : B. Bérard et K. Barkaoui