No abstract available
LADEE Flight Software: Verification Techniques
SPIN 2014: International SPIN Symposium on Model Checking of Software ; 2014 ; San Jose, CA, United States
2014-07-21
Miscellaneous
No indication
English
LADEE Flight Software: Verification Techniques
NTIS | 2014
|Flight Software for the LADEE Mission
NTIS | 2015
|Flight Software for the LADEE Mission
NTRS | 2015
|Validation and Verification of LADEE Models and Software
NTRS | 2013
|Validation and Verification of LADEE Models and Software
British Library Conference Proceedings | 2013
|