
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
Joaquin Peña, Christopher A. Rouff, Mike Hinchey, Antonio Ruiz-CortésVolume:
10
Langue:
english
Pages:
8
DOI:
10.1007/s10270-009-0135-2
Date:
February, 2011
Fichier:
PDF, 676 KB
english, 2011