Experiences applying formal approaches in the development of swarm-based space exploration systems : Leveraging formal methods
ROUFF, Christopher A, HINCHEY, Michael G, TRUSZKOWSKI, Walter F, RASH, James L
Published in International journal on software tools for technology transfer (Print) (2006)
Get full text
Published in International journal on software tools for technology transfer (Print) (2006)
Conference Proceeding
Michael G. Hinchey: Biological Inspiration
Hinchey, Michael G.
Published in First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007) (01.07.2007)
Published in First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007) (01.07.2007)
Get full text
Conference Proceeding