Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
| Title | Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods |
| Publication Type | Journal Article |
| Year of Publication | 2011 |
| Authors | Peña, J, Rouf CA, Hinchey M, Ruiz-Cortés A |
| Journal | Journal of Systems and Software Modelling |
| Volume | 10 |
| Issue | 1 |
| Pagination | 55--62 |
| Date Published | October |
| URL | https://sharepoint.lero.ie/Publications/2009/Journal%20Papers/2009-Pena-Modeling%20NASA%20Swarm-Based%20Systems.pdf |
| Custom 1 | CSET |
| Short Title | Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods |
Printer-friendly version