| Etablissement | Université de Tébessa - Larbi Tébessi | | Affiliation | Département d'Informatique | | Auteur | HAMIDANE, Fathi | | Directeur de thèse | BELEILI Habiba (Docteur) | | Filière | Informatique | | Diplôme | Magister | | Titre | Formalisation des besoins fonctionnels des sysètmes Multi agents à l'aide de Maude | | Mots clés | Spécification formelle ; multi agent; besions fonctionnels ; cas d'utilisation | | Statut | Vérifié |
|