YEDDES Mohamed Moez
Habilitation
Forschungsgruppe : MoVe
Datum, an dem das LIP6 verlassen wurde : 22.10.2010
https://lip6.fr/Mohamed-Moez.Yeddes
Forschungsgruppe : MoVe
Datum, an dem das LIP6 verlassen wurde : 22.10.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
Verteidigung einer Doktorarbeit : 22.10.2010
Mitglieder der Prüfungskommission :
président : F. Kordon
rapporteurs : D. Buchs, S. Haddad et J.J. Lesage
examinateurs : B. Bérard et K. Barkaoui