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
VenueARTAS
Year1998
ProceedingsIEEE Real Time Technology and Applications Symposium
DBLP recordconf/rtas/SokolskyYLKZ98 ↗
Browse the full RTAS paper archive.