Vérification et validation dessystèmes multi-agents
Type doc. :
Thèses / mémoires
Langue :
Français
Auteur(s) :
Année de soutenance:
2007
Afficher le Résumé
Nous proposons dans ce manuscrit une approche fédérative, intégrant plusieurs techniques génériques, supportant la vérification et la validation des PIAs dans les SMA. L'approche est basée (en grande partie) sur le langage formel et orienté objet Maude. Elle se compose essentiellement en deux grandes parties complémentaires : (1) Dans la première partie, nous nous intéressons à la spécification et la vérification formelles des PIAs à l'aide de Maude
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 MOK TH C1 | BIB-Centrale / Thèses | interne | disponible |
Mokhati, F. et al. (2007). Vérification et validation dessystèmes multi-agents (Doctorat) . Annaba.