Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: CEDRIC (Ancien membre EDITE)
Date de debut de thèse: Non disponible Date soutenance de thèse: 9 décembre 2015 Directeur de thèse: Kamel BARKAOUI (CEDRIC) Sujet de thèse: Vérification formelle des diagrammes dynamiques UML2 : Applications aux systèmes Temps-Réels Embarqués.
Date de debut de thèse: Non disponible Date soutenance de thèse: 9 décembre 2015 Directeur de thèse: Kamel BARKAOUI (CEDRIC) Sujet de thèse: Vérification formelle des diagrammes dynamiques UML2 : Applications aux systèmes Temps-Réels Embarqués.