Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker
Journal of Aerospace Information Systems ; 17 , 12 ; 695-699
2020-12-01
Article (Journal)
Electronic Resource
English
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