Login / Signup
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods.
Joaquín Peña
Christopher A. Rouff
Mike Hinchey
Antonio Ruiz Cortés
Published in:
Softw. Syst. Model. (2011)
Keyphrases
</>
formal methods
safety critical
knowledge based systems
reactive systems
modeling language
formal analysis
software engineering
formal specification
data mining
cooperative
computer science
petri net
future directions