@misc{indiciaef6a70bb256ae,
  title = {Formal Analysis of SEU Mitigation for Early Dependability and Performability Analysis of FPGA-based Space Applications},
  author = {Khaza Anuarul Hoque and Otmane Ait Mohamed and Yvon Savaria},
  year = {2017},
  doi = {10.1016/j.jal.2017.03.001},
  url = {https://arxiv.org/abs/1701.03836},
  note = {Source identifier: 1701.03836}
}