Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker
Journal of Aerospace Information Systems ; 17 , 12 ; 695-699
2020-10-30
5 pages
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker
British Library Conference Proceedings | 2009
|SPECIAL FEATURES - CAD-CAM Update - New launch and onboard software
Online Contents | 2004
Software Library Usage Pattern Extraction Using a Software Model Checker
British Library Online Contents | 2009
|