Formal computer verification in the State Delta Verification System (SDVS)
8th Computing in Aerospace Conference ; 1991 ; Baltimore , MD , U.S.A.
01.01.1991
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Formal Verification of a Fault-Tolerant Computer
British Library Conference Proceedings | 1992
|Formal verification of a fault tolerant computer
IEEE | 1992
|Formal Verification at System Level
British Library Conference Proceedings | 2009
|Articles - Formal Verification & Legacy Redesign
Online Contents | 1999
|Formal verification and legacy redesign
Tema Archiv | 1998
|