A Formal Approach to Self-configurable Swarm-based Space-exploration Systems
You are here
Title | A Formal Approach to Self-configurable Swarm-based Space-exploration Systems |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Vassev E, Hinchey M, Nixon P |
Conference Name | Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2010)Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems (AHS-2010) |
Date Published | 2010 |
Publisher | IEEE Computer Society |
Conference Location | Anaheim California, USA |
URL | http://ulir.ul.ie/handle/10344/746 |