LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » أحـداث السـاعـة » مسجلون في الدكتوراه

YEDDES Mohamed Moez

رخصة بإدارة البحوث
وحـدة : MoVe

Approches formelles de vérification dans le cadre des systèmes à événements discrets et des systèmes hybrides

مناقـشـة مـذكـرة : 22/10/2010 - 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
 Mentions légales
| خـريـطـة المـوقـع