Formal Verification of a Fault-Tolerant Computer
Conferences; 11th, Digital avionics systems ; 1992 ; Seattle; WA
01.01.1992
6 pages
IEEE cat no 92CH3212-8
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Verification for Fault-Tolerant Architectures/PVS Design
British Library Conference Proceedings | 1995
|Fault-Tolerant Flight Computer
NTRS | 1996
|Fault-tolerant computer system
NTRS | 1979
|Fault Tolerant Spaceborne Computer
NTIS | 1984
|