scientific article; zbMATH DE number 3890717

MaRDI QIDQ3347281zbMATH OpenFDO

Authors Flaviu Cristian

Publication date 1984

zbMATH Keywords

correctness of fault-tolerant systemshardware malfunctionsoftware correctnessStochastic modellingsystem reliability

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

(13)

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

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)