Formal Verification of a Redundancy Management Algorithm
52nd Symposium, Software for guidance and control ; 1991 ; Helexpo; Greece
1991-01-01
12/1-12/6
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Verification of redundancy management design
NTRS | 1978
|COMPREHENSIVE REDUNDANCY MANAGEMENT AND VERIFICATION STRATEGY FOR TASK-BASED AIR MANAGEMENT SYSTEM
British Library Conference Proceedings | 2021
|Handbook Design of Automated Redundancy Verification
NTIS | 1971
|Formal Verification of a Merge Sort Algorithm in SPARK
AIAA | 2021
|