COMPREHENSIVE REDUNDANCY MANAGEMENT AND VERIFICATION STRATEGY FOR TASK-BASED AIR MANAGEMENT SYSTEM
International Council of the Aeronautical Sciences
2021-01-01
6 pages
Conference paper
English
© 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
|Verification of the redundancy management system for space launch vehicle: a case study
Tema Archive | 1998
|Enhance redundancy management to configuration management
Online Contents | 1994
|