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