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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Khaza Anuarul Hoque' in GoogleThis author has not been identified. Look up 'Otmane Aït Mohamed' in GoogleThis author has not been identified. Look up 'Yvon Savaria' in GoogleThis author has not been identified. Look up 'Claude Thibeault' in Google

runs on WebDSL