Formal Analysis of Fault Propagation in Complex Digital Systems.

Damiano Zuccal, Samuel Hon, Mohammad Reza Heidari Iman, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory

Browse the full MEMOCODE paper archive.