A Model-Based Approach to Verification of Spacecraft Software Using the SPIN Model Checker
AIAA Space Conference and Exposition ; 2009 ; Pasadena, CA
01.01.2009
10 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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
|