Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria. Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications. J. Applied Logic, 25:47-68, 2017. [doi]
@article{HoqueMS17, title = {Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications}, author = {Khaza Anuarul Hoque and Otmane Aït Mohamed and Yvon Savaria}, year = {2017}, doi = {10.1016/j.jal.2017.03.001}, url = {https://doi.org/10.1016/j.jal.2017.03.001}, researchr = {https://researchr.org/publication/HoqueMS17}, cites = {0}, citedby = {0}, journal = {J. Applied Logic}, volume = {25}, pages = {47-68}, }