Thèse nationale
Aide au diagnostic de vérification formelle de systèmes
Aide au diagnostic de vérification formelle de systèmes
Université Abdelmalek Essadi
Date de soutenance: 29-03-2002
Président
ACHADI Hafid
Rapporteur
MOUDANE Doha
Rapporteur
AISSAOUI Hassan
Rapporteur
MASROUR Amine
Examinateur
NEGRA Taha
Membre du jury
GHOZAIL Saad