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

Alberto Arazo, Yves Crouzet

Browse the full ICECCS paper archive.