Joaquín Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz Cortés. Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods. Software and Systems Modeling, 10(1):55-62, 2011. [doi]
@article{PenaRHC11,
title = {Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods},
author = {Joaquín Peña and Christopher A. Rouff and Mike Hinchey and Antonio Ruiz Cortés},
year = {2011},
doi = {10.1007/s10270-009-0135-2},
url = {http://dx.doi.org/10.1007/s10270-009-0135-2},
tags = {rule-based, agent based modeling, meta-model, modeling, software engineering, model-driven engineering, Meta-Environment},
researchr = {https://researchr.org/publication/PenaRHC11},
cites = {0},
citedby = {0},
journal = {Software and Systems Modeling},
volume = {10},
number = {1},
pages = {55-62},
}