LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Tin tức » Nghiên cứu sinh

YEDDES Mohamed Moez

Luận án tiến sĩ khoa học
Nhóm nghiên cứu : MoVe

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

Bảo vệ luận án : 22-10-2010 - Site Jussieu - Salle Jean-Louis Laurière - 25-26/101
Hội đồng giám khảo :
président : F. Kordon
rapporteurs : D. Buchs, S. Haddad et J.J. Lesage
examinateurs : B. Bérard et K. Barkaoui
 Mentions légales
Sơ đồ site |