République Algérienne démocratique et populaire
Minstere de l’enseignement supérieur et de la recherche scientifique Département d’informatique
Année : 2006-2007 Série
Mémoire de magister
Option : Génie logiciel et intelligence artificielle
Présenté par Alidra Abdelghani
Thème
Approche de maximalité pour le test formel des applications Temporisées
Dr Salim CHIKHI Président de jury M.C. Université Mentouri Dr Djamel Eddine SAIDOUNI Rpporteur M.C. Université Mentouri Dr. Faiza BELALA Examinateur M.C. Université Mentouri Dr ALLAoua CHAOUI Examinateur M.C. Université Mentouri