Templates for software fault tolerant voting on results of floating point arithmetic
9th Computing in Aerospace Conference ; 1993 ; San Diego , CA , U.S.A.
01.01.1993
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Templates for Software Fault Tolerant Voting on Results of Floating Point Arithmetic
British Library Conference Proceedings | 1993
|Secure and fault-tolerant voting in distributed systems
Tema Archiv | 2001
|Secure and fault-tolerant voting in distributed systems
IEEE | 2001
|Module Templates for the Specification of Fault-Tolerant Systems
British Library Online Contents | 1998
|