Model-Based Verification and Validation of Spacecraft Avionics.

Mohammed Omair Khan Michael Sievers Shaun Standley

Published in: Infotech@Aerospace (2012)

Keyphrases

mission planning
data driven
model checking
genetic algorithm
case study
digital images
model free
asynchronous circuits