Informations
Encadrant :
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 TT Calcul