FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

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 et 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 : 11.

The full text of this document is not available here.
Rechercher dans Google Scholar
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 View Item