Requirements Analysis of a Quad-Redundant Flight Control System
NASA formal methods (International symposium)
01.01.2015
15 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Neutron Particle Effects on a Quad-Redundant Flight Control Computer
British Library Conference Proceedings | 2003
|Quad-redundant avionics application
Emerald Group Publishing | 1999