A formal approach to model multiagent interactions using the B formal method. F - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

A formal approach to model multiagent interactions using the B formal method. F

Hind Fadil
  • Fonction : Auteur
  • PersonId : 844079
Laboratoire de Conception et d'Intégration des Systèmes
Jean-Luc Koning
Laboratoire de Conception et d'Intégration des Systèmes

Domaines

Système multi-agents [cs.MA]

Michel Occello  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00189035

Soumis le : lundi 19 novembre 2007-18:31:57

Dernière modification le : jeudi 4 avril 2024-21:14:27

Fichier non déposé

Dates et versions

hal-00189035 , version 1 (19-11-2007)

Identifiants

  • HAL Id : hal-00189035 , version 1

Citer

Hind Fadil, Jean-Luc Koning. A formal approach to model multiagent interactions using the B formal method. F. Fourth IEEE International Symposium on Advanced Distributed Systems (ISADS-2005),, Jan 2005, Guadalajara, Mexico. pp.516-528. ⟨hal-00189035⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA LCIS
29 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More