Fiche de BEN SALEM Ala eddine

Informations professionnelles


Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6


Date de debut de thèse: 1 janvier 1900
Date soutenance de thèse: 1 janvier 1900
Directeur de thèse: Fabrice KORDON (LIP6)
Directeur de thèse: Alexandre DURET-LUTZ (LRDE)
Sujet de thèse: Model checking adapté aux spécifications et propriétés à vérifier Numéro PRD: 3209