Informations
Directeur de thèse :
Université :
Université Constantine 2
Soutenance
Date de soutenance :
7 Février 2017
Membres de Jury :
Saidouni Djamel Eddine
Bennoui Hamadi
Kahloul Laïd
Benmerzoug Djamel
Détails
Titre :
Une approche de spécification et de vérification des systèmes logiciels à base d'agents mobiles en utilisant UML et Pi Calcul