MaskD: A Tool for Measuring Masking Fault-Tolerance.

Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio

Browse the full TACAS paper archive.