Software Construction and Analysis Tools for Future Space Missions.

Michael R. Lowry

Published in: TACAS (2002)

Keyphrases

space missions
analysis tool
software tools
real time
software systems
computer systems
knowledge base
data analysis
long term
visualization tool