Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
You are here
| 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 |
| Date Published | 2011 |
| URL | http://ulir.ul.ie/handle/10344/1762 |
