Specification and verification of components interaction protocols in multi-agent systems. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Specification and verification of components interaction protocols in multi-agent systems.

Fichier non déposé

Dates et versions

hal-00408573 , version 1 (31-07-2009)

Identifiants

  • HAL Id : hal-00408573 , version 1

Citer

Nabil Hameurlain. Specification and verification of components interaction protocols in multi-agent systems.. 5th IEEE International Symposium and School on Advance Distributed Systems, 2005, Mexico. pp.;. ⟨hal-00408573⟩

Collections

UNIV-PAU LIUPPA
14 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More