Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study

• Authors:

• Cinzia Bernardeschi;Alessandro Fantechi;Luca Simoncini

• Affiliations:

• -;-;-

• Venue:
• EDCC-1 Proceedings of the First European Dependable Computing Conference on Dependable Computing
• Year:
• 1994