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

Candidat: Mansouri Djamel,
Encadreur:: Prof M. Boukala-Ioualalen,
Intitulé de la thèse: Analyse et évaluation des performances des réseaux de capteurs
Soutenu: 2017