Monsieur Aznam YACOUB / Docteur

Doctorat

Titre : Informatique

1ère inscription en thèse : 1 juillet 2013 / 3A

Ecole doctorale : Mathématiques et Informatique de Marseille

Date de soutenance de thèse : 8 décembre 2016

Sujet : Une approche de vérification formelle et de simulation pour les systèmes à événements discrets : Application à PROMELA

Directeur de thèse : FRYDMAN Claudia

Co-directeur : HAMRI Maamar El Amine

Unité de recherche : LIS Laboratoire d'Informatique et Systèmes