𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods

✍ Scribed by Joaquin Peña; Christopher A. Rouff; Mike Hinchey; Antonio Ruiz-Cortés


Publisher
Springer-Verlag
Year
2009
Tongue
English
Weight
676 KB
Volume
10
Category
Article
ISSN
1619-1366

No coin nor oath required. For personal study only.