Module Templates for the Specification of Fault-Tolerant Systems
Conference, Data systems in aerospace ; 1998 ; Athens
1998-01-01
8 pages
Conference paper
English
data systems , aerospace , DASIA , Eurospace
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Module Templates for the Specification of Fault-Tolerant Systems
British Library Online Contents | 1998
|Making real-time systems fault tolerant: a specification-based approach
Tema Archive | 2010
|Templates for Software Fault Tolerant Voting on Results of Floating Point Arithmetic
British Library Conference Proceedings | 1993
|Fault-Tolerant Components versus Fault-Tolerant Systems
British Library Conference Proceedings | 2002
|