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

Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini

Browse the full EDCC paper archive.