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

Khaza Anuarul Hoque, O. Ait 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
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:	25 Sep 2024 15:48

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Répertoire des publications (EndNote)Simple Metadata

Statistics

Dimensions

Repository Staff Only

View Item