Login / Signup
Formal Specification of Holonic Multi-Agent Systems Framework.
Sebastian Rodriguez
Vincent Hilaire
Abder Koukam
Published in:
International Conference on Computational Science (3) (2005)
Keyphrases
</>
multi agent systems
formal specification
multi agent
model checking
specification language
object oriented design
agent technology
query language
knowledge management
building blocks
reverse engineering
formal methods
specification languages