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.
Rechercher dans Google Scholar
Official URL: http://dx.doi.org/10.1109/MEMCOD.2014.6961856
Item Type: | Conference proceeding | ||
---|---|---|---|
ISBN: | 978-1-4799-5338-7 | ||
Professor: |
|
||
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 |