Using Relative Refinement for Fault Tolerance

• Authors:

• Antonio Cau;Willem P. de Roever

• Affiliations:

• -;-

• Venue:
• FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
• Year:
• 1993