scientific article; zbMATH DE number 3890717

MaRDI QIDQ3347281zbMATH OpenFDO

Authors Flaviu Cristian

Publication date 1984

zbMATH Keywords

system reliabilitysoftware correctnessStochastic modellingcorrectness of fault-tolerant systemshardware malfunction

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1107558
• Design and verification of fault tolerant systems with CSP
• Logical specification and analysis of fault tolerant systems through partial model checking
• Formally verifying fault tolerant system designs
• scientific article; zbMATH DE number 1262889

Cited in

(10)

• Factorizing fault tolerance.
• A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering
• Formally verifying fault tolerant system designs
• Code Design for Dependable Systems
• scientific article; zbMATH DE number 1543325 (Why is no real title available?)
• Graceful degradation via versions, specifications and implementations
• Distributed speculative execution for reliability and fault tolerance: an operational semantics
• Design and verification of fault tolerant systems with CSP
• Logical specification and analysis of fault tolerant systems through partial model checking
• Relational characterizations of system fault tolerance

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347281)