National thesis
Aide au diagnostic de vérification formelle de systèmes
Aide au diagnostic de vérification formelle de systèmes
Université Abdelmalek Essadi
Defence date: 29-03-2002
President
ACHADI Hafid
Protractor
MOUDANE Doha
Protractor
AISSAOUI Hassan
Protractor
MASROUR Amine
Examiner
NEGRA Taha
Jury member
GHOZAIL Saad