Vers une méthodologie formelle de spécification de Systèmes Multi-Agents

Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller. Vers une méthodologie formelle de spécification de Systèmes Multi-Agents. In Sylvie Pesty, Claudette Sayettat-Fau, editors, Systèmes multi-agents : Méthodologie, technologie et expériences - JFIADSMA 00 - huitième journées francophones d'Intelligence Artificielle et systèmes multi-agents, Saint-Jean-la-Vêtre, Loire, France, October 2-4, 2000. pages 209-221, Hermès Lavoisier Editions, 2000.

Abstract

Abstract is missing.