Monsieur Aznam YACOUB / PhD

PhD

Title : Informatique

First registration date : 1 July 2013 / 3A

Doctoral school : Mathématiques et Informatique de Marseille

Thesis defense date : 8 December 2016

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

Thesis supervisor : FRYDMAN Claudia

Thesis co-supervisor : HAMRI Maamar El Amine

Research unit : LIS Laboratoire d'Informatique et Systèmes