Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability...
Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verificati...
Presents research results on problems and solutions in safety-critical system design. This work applies logic, process algebra, and action/event models to specification, modeling, analysis and verification of real-time and fault-tolerant systems.
Presents research results on problems and solutions in safety-critical system design. This work applies logic, process algebra, and action/event model...
