Thèse de Doctorat

Titre : Vers une démarche de vérification formelle d'architectures logicielles à base de composant service

 Directeur de thèse : Pr. Wady Naanaa, ENIT,, Tunisie.

 Co-encadrant : Dr.Hdr. Mohamed Graiet, ISIMM, Tunisie.

 Président : Pr. Abdelmajid Ben Hamadou,  ISIM Sfax, Tunisie.

 Rapporteur : Pr. Dominique Méry, Loria Nancy, France.

 Rapporteur : Pr. Samir Ben Ahmed, FST, Tunisie.

 Examinatrice : Pr. Amel Mammar, Telecom SudParis, France.