Khaza Anuarul Hoque, Otmane Aı̈t Mohamed, Yvon Savaria
and Claude Thibeault
Paper (2014)
An external link is available for this item
| Department: | Department of Electrical Engineering |
|---|---|
| Research Center: | GR2M - Microelectronics and Microsystems Research Group |
| ISBN: | 9781479953387 |
| PolyPublie URL: | https://publications.polymtl.ca/12183/ |
| Conference Title: | 12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE 2014) |
| Conference Location: | Lausanne, Switzerland |
| Conference Date(s): | 2014-10-19 - 2014-10-21 |
| Publisher: | Institute of Electrical and Electronics Engineers |
| DOI: | 10.1109/memcod.2014.6961856 |
| Official URL: | https://doi.org/10.1109/memcod.2014.6961856 |
| Date Deposited: | 18 Apr 2023 15:08 |
| Last Modified: | 08 Apr 2025 12:20 |
| Cite in APA 7: | Hoque, K. A., Mohamed, O. A.̈., Savaria, Y., & Thibeault, C. (2014, October). Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications [Paper]. 12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE 2014), Lausanne, Switzerland. https://doi.org/10.1109/memcod.2014.6961856 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
