Login / Signup
Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems.
Christopher A. Rouff
Michael G. Hinchey
Joaquín Peña
Antonio Ruiz Cortés
Published in:
SIS (2007)
Keyphrases
</>
formal methods
safety critical
artificial intelligence
modeling language
software engineering
model checking
formal analysis
formal specification
database
cooperative
expert systems
open source
distributed systems
building blocks
software agents
reactive systems