Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification : actes des JFIADSMA'01, 12 novembre-14 novembre 2001, Montréal, Québec, Canada
Enregistré dans:
Collectivité auteur: | |
---|---|
Autres auteurs: | , , |
Support: | Livre |
Langue: | Français |
Publié: |
Paris :
Lavoisier : Hermès science publ.,
2001.
|
Sujets: | |
Autres localisations: | Voir dans le Sudoc |
Résumé: | Titre de la couv. : "Fondements des systèmes multi-agents, modèles, spécifications formelles et vérification" .Aborde notamment la vérification dans les SMA, les modèles formels pour la coopération et la conception dans les SMA, ainsi que l'ouverture, la distribution et la mobilité dans les SMA. |
Résumé: | Titre de la couv. : "Fondements des systèmes multi-agents, modèles, spécifications formelles et vérification" .Aborde notamment la vérification dans les SMA, les modèles formels pour la coopération et la conception dans les SMA, ainsi que l'ouverture, la distribution et la mobilité dans les SMA. |
---|---|
Description: | Résumés en anglais et en français |
Description matérielle: | 356 p. : ill. ; 24 cm. |
Bibliographie: | Notes bibliogr. en fin de chapitres. Index |
ISBN: | 2746203499 (br.) : |