Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker
Journal of Aerospace Information Systems ; 17 , 12 ; 695-699
01.12.2020
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