Thèses de Doctorat Soutenues

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

Candidat: Mekahlia Fatma Zohra,
Encadreur:: Prof M. Ghomari Reda,
Intitulé de la thèse: Formalisation, analyse et contrôle de cohérence temporelle et spaciale des données
Soutenu: 2017

Thèses de  Doctorat en cours

Candidat: Yataguene Lydia,
Encadreur:: Prof M. Boukala-Ioualalen,
Intitulé de la thèse:

Candidat: Khelifati Adel,
Encadreur:: Prof M. Boukala-Ioualalen,
Intitulé de la thèse: