Proceeding final des doctoriales
Journées MOVEP'2022
Le Laboratoire MOVEP a organisé la journée du laboratoire MOVEP'2022. Elles s'est déroulée le 15 décembre 2022 l'USTHB.
Thèses et Mémoires équipe SARA
PROJETS DE MAGISTER SOUTENUS :
Thèses de doctorat soutenues
Soutenance de Doctorat en sciences
Candidat: Kheldoun Ahmed,
Encadreur: Prof M. Boukala-Ioualalen,
Intitulé de la thèse: Utilisation des ECATNets Récursifs pour la Spécification et la Vérification des Systèmes,
Soutenue en Juillet 2018.
Candidat: Messaoud Rahim,
Encadreur:: Prof M. Boukala-Ioualalen,
Intitulé de la thèse: Proposition d’une Démarche de Spécification
Soutenu: 2017