Formal Verification for Fault-Tolerant Architectures/PVS Design
Workshop; 3rd, Langley formal methods ; 1995 ; Hampton; VA
01.01.1995
15 pages
Also known as LFM 95
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Verification of a Fault-Tolerant Computer
British Library Conference Proceedings | 1992
|Fault tolerant EHA architectures
IEEE | 1992
|Formal verification of layered sensing architectures
IEEE | 2010
|Fault Tolerant Avionics Systems Architectures Study
NTIS | 1974
|