Khaza Anuarul Hoque, Otmane Aı̈t Mohamed, Yvon Savaria
, Claude Thibeault
Communication écrite (2014)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Unité de recherche:
ISBN:
9781479953387
Adresse URL de PolyPublie:
Nom de la conférence:
12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE 2014)
Lieu de la conférence:
Lausanne, Switzerland
Date(s) de la conférence:
2014-10-19 - 2014-10-21
Maison d'édition:
Institute of Electrical and Electronics Engineers
URL officielle:
OAI:
oai:publications.polymtl.ca:12183
ORCID
Date du dépôt:
18 avr. 2023 15:08
Dernière modification:
08 oct. 2026 16:58
Citer en APA 7:
Hoque, K. A., Mohamed, O. A.̈., Savaria, Y., & Thibeault, C. (octobre 2014). Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications [Communication écrite]. 12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE 2014), Lausanne, Switzerland. https://doi.org/10.1109/memcod.2014.6961856
Statistiques
Dimensions
