A rigorous approach to fault-tolerant system development

Publisher Website

1 January 1984

book chapter
Published by Springer Nature

p. 147-160
https://doi.org/10.1007/3-540-12896-4_361

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

A rigorous approach to fault-tolerant system development
Published by Springer Nature ,1984
Robust data types
Acta Informatica, 1982
Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System
IEEE Transactions on Computers, 1982
Systematic detection of exception occurrences
Science of Computer Programming, 1981
A formal model of atomicity in asynchronous systems
Acta Informatica, 1981
SIFT: Design and analysis of a fault-tolerant computer for aircraft control
Proceedings of the IEEE, 1978
Assigning meanings to programs
Published by American Mathematical Society (AMS) ,1967