TY  - RPRT
TI  - Formal Analysis of SEU Mitigation for Early Dependability and Performability Analysis of FPGA-based Space Applications
AU  - Khaza Anuarul Hoque
AU  - Otmane Ait Mohamed
AU  - Yvon Savaria
PY  - 2017
DO  - 10.1016/j.jal.2017.03.001
UR  - https://arxiv.org/abs/1701.03836
ID  - 1701.03836
ER  -