![](/img/cover-not-exists.png)
[IEEE 2007 IEEE Swarm Intelligence Symposium - Honolulu, HI, USA (2007.04.1-2007.04.5)] 2007 IEEE Swarm Intelligence Symposium - Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems
Rouff, Christopher A., Hinchey, Michael G., Pena, Joaquin, Ruiz-Cortes, AntonioYear:
2007
Language:
english
DOI:
10.1109/sis.2007.367958
File:
PDF, 9.05 MB
english, 2007