Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications.

Khaza Anuarul Hoque, Otmane At Mohamed, Yvon Savaria, Claude Thibeault

Browse the full MEMOCODE paper archive.