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

Hoque, Khaza Anuarul, Mohamed, O. Ait, Savaria, Yvon and Thibeault, Claude. 2014. « Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications ». In 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) (Lausanne, Switzerland, Oct. 19-21, 2014) pp. 175-184. Piscataway, N. J., USA : IEEE.
Compte des citations dans Scopus : 15.

The full text of this document is not available here.

Item Type:	Conference proceeding
ISBN:	978-1-4799-5338-7
Professor:	Professor Thibeault, Claude
Affiliation:	Génie électrique
Date Deposited:	16 Dec 2014 21:58
Last Modified:	16 Dec 2014 21:58
URI:	https://espace2.etsmtl.ca/id/eprint/9061

Actions (login required)

View Item