Towards a Formal Approach to Swarm Technology
Space OPS 2004 Conference ; 2004 ; Montreal , Quebec , Canada
2004-01-01
Conference paper
Electronic Resource
English
A Formal Approach to Self-configurable Swarm-based Space-exploration Systems
Tema Archive | 2010
|Formal Methods for Autonomic and Swarm-based Systems
NTRS | 2004
|Formal Methods for Autonomic and Swarm-Based Systems
NTIS | 2004
|Swarm Technology Development Strategy
NTIS | 2019
|Swarm Technology Development Strategy
NTRS | 2019
|