Formal Development of Critical Multi-agent Systems: A Refinement Approach.

Inna Pereverzeva Elena Troubitsyna Linas Laibinis

Published in: EDCC (2012)

Keyphrases

multi agent systems
multi agent
development process
agent oriented
software engineering
agent based systems
artificial intelligence
autonomous agents
design principles
data sets
information systems
case study
knowledge based systems
rapid development
development environment
computational logic