Qualification of a Model Checker for Avionics Software Verification
NASA Formal Methods ; 2017 ; Moffett Field, CA
2017-01-01
16 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
MADEQ: A model for Avionics Device Qualification
IEEE | 2013
|A Verification Method of Software Safety Model Based on Model Checker
British Library Online Contents | 2011
|