Elaboration d?1 méthode de modélisation et de vérification orientée management par processus pour les systèmes multi-agent . Application au pilotage des systèmes d?information
Soutenu le 18 mars 2008
Titre : Elaboration d?1 méthode de modélisation et de vérification orientée management par processus pour les systèmes multi-agent . Application au pilotage des systèmes d?information
Type : Doctorat
Spécialité : Informatique
Département : Informatique
Soutenu par : Mohamed BERRADA
Directeur de Thèse : B. BONABAT
Soutenu le : 18 mars 2008