Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms

Alberto Arazo, Yves Crouzet. Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. In 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden. pages 69-79, IEEE Computer Society, 2001. [doi]

Abstract

Abstract is missing.