Article Dans Une Revue
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information
Année : 2008
Michel Occello : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00382562
Soumis le : vendredi 8 mai 2009-19:40:37
Dernière modification le : jeudi 4 avril 2024-21:07:21
Dates et versions
Identifiants
- HAL Id : hal-00382562 , version 1
Citer
Hind Fadil, Jean-Luc Koning. Une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (8), pp.33-52. ⟨hal-00382562⟩
32
Consultations
0
Téléchargements