Automated verification of AUML based multi-agent system design.

Seyedehmehrnaz Mireslami Behrouz H. Far

Published in: CCECE (2013)

Keyphrases

multi agent systems
case study
automated verification
intelligent agents
computer aided
design process
cooperative
automated reasoning
website
model checking
design principles
user interface
database
machine learning
theorem prover
design space
formal verification
real time