Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification

Felix C. Gärtner. Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification. J. UCS, 5(10):668-692, 1999. [doi]

Abstract

Abstract is missing.