A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker
AIAA SPACE 2009 Conference & Exposition
2009-01-01
Conference paper
Electronic Resource
English
A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker
British Library Conference Proceedings | 2009
|A Verification Method of Software Safety Model Based on Model Checker
British Library Online Contents | 2011
|Qualification of a Model Checker for Avionics Software Verification
British Library Conference Proceedings | 2017
|