COMPREHENSIVE REDUNDANCY MANAGEMENT AND VERIFICATION STRATEGY FOR TASK-BASED AIR MANAGEMENT SYSTEM
International Council of the Aeronautical Sciences
2021-01-01
6 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Verification of redundancy management design
NTRS | 1978
|Formal Verification of a Redundancy Management Algorithm
British Library Conference Proceedings | 1991
|X-33 redundancy management system
IEEE | 2001
|A redundancy-based strategy for safety management in a modern civil aircraft
Tema Archiv | 2000
|