Login / Signup
Experiences applying formal approaches in the development of swarm-based space exploration systems.
Christopher A. Rouff
Michael G. Hinchey
Walter Truszkowski
James L. Rash
Published in:
Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
</>
space exploration
case study
software engineering
management system
commercial systems
evaluation methodologies
expert systems
complex systems
swarm intelligence
formal model
support systems
artificial intelligence
search space
particle swarm optimization
computer systems
input output