Login / Signup
Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study.
Oleg Sokolsky
Mohamed F. Younis
Insup Lee
Hee-Hwan Kwak
Jeffrey X. Zhou
Published in:
IEEE Real Time Technology and Applications Symposium (1998)
Keyphrases
</>
management system
higher dimensional
pedestrian detection
databases
case study
search space
decision support system
space time
real time
information retrieval
database systems
model checking
vector space
information content