Informations
Directeur de thèse :
Année de début :
Fin 2015
Université :
Université Constantine 2
Soutenance
Date de soutenance :
10 Avril 2019
Membres de Jury :
Djamel Eddine Saidouni
Allaoua Chaoui
Djamel Maslati
Hammadi Bennaoui
Nadia Zeghib
Détails
Titre :
Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes