Module Templates for the Specification of Fault-Tolerant Systems
EUROPEAN SPACE AGENCY -PUBLICATIONS- ESA SP ; 422 ; 429-436
1998-01-01
8 pages
Article (Journal)
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Module Templates for the Specification of Fault-Tolerant Systems
British Library Conference Proceedings | 1998
|Making real-time systems fault tolerant: a specification-based approach
Tema Archive | 2010
|Fault-Tolerant Components versus Fault-Tolerant Systems
British Library Conference Proceedings | 2002
|Hierarchical specification of the SIFT fault tolerant flight control system
Tema Archive | 1981
|