Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: CEDRIC (Ancien membre EDITE)
Date de debut de thèse: 10 avril 2012 Date soutenance de thèse: 7 juillet 2016 Directeur de thèse: Kamel BARKAOUI (CEDRIC) Sujet de thèse: Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle
Date de debut de thèse: 10 avril 2012 Date soutenance de thèse: 7 juillet 2016 Directeur de thèse: Kamel BARKAOUI (CEDRIC) Sujet de thèse: Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle