Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault. Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. In Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014. pages 175-184, IEEE, 2014. [doi]
@inproceedings{HoqueMST14, title = {Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications}, author = {Khaza Anuarul Hoque and Otmane Aït Mohamed and Yvon Savaria and Claude Thibeault}, year = {2014}, doi = {10.1109/MEMCOD.2014.6961856}, url = {http://dx.doi.org/10.1109/MEMCOD.2014.6961856}, researchr = {https://researchr.org/publication/HoqueMST14}, cites = {0}, citedby = {0}, pages = {175-184}, booktitle = {Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014}, publisher = {IEEE}, }