YEDDES Mohamed Moez

Abilitazione
Gruppo di ricerca : MoVe
Data di partenza : 10/22/2010
https://lip6.fr/Mohamed-Moez.Yeddes

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

Difesa : 10/22/2010

Membri della commissione :

président : F. Kordon
rapporteurs : D. Buchs, S. Haddad et J.J. Lesage
examinateurs : B. Bérard et K. Barkaoui

Data di partenza : 10/22/2010
Mentions légales
Mappa del sito