A verification strategy for fault-detection and fault-tolerance circuits.

Gabriele Boschi, Riccardo Mariani, Stefano Lorenzini

Browse the full IOLTS paper archive.