Emil Vassev, Mike Hinchey. ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions. In Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2008, Workshops Proceedings, October 20-24, 2008, Venice, Italy. pages 13-18, IEEE Computer Society, 2008. [doi]
Abstract is missing.