Towards a Formal Approach to Swarm Technology
Space OPS 2004 Conference ; 2004 ; Montreal , Quebec , Canada
01.01.2004
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
A Formal Approach to Self-configurable Swarm-based Space-exploration Systems
Tema Archiv | 2010
|Formal Methods for Autonomic and Swarm-Based Systems
NTIS | 2004
|Formal Methods for Autonomic and Swarm-based Systems
NTRS | 2004
|Towards a formal manufacturing reference ontology
Tema Archiv | 2013
|