Qualification of a Model Checker for Avionics Software Verification
NASA Formal Methods ; 2017 ; Moffett Field, CA
01.01.2017
16 pages
Aufsatz (Konferenz)
Unbekannt
© 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
|