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 : 15.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Type de document:	Compte rendu de conférence
ISBN:	978-1-4799-5338-7
Professeur:	Professeur Thibeault, Claude
Affiliation:	Génie électrique
Date de dépôt:	16 déc. 2014 21:58
Dernière modification:	16 déc. 2014 21:58
URI:	https://espace2.etsmtl.ca/id/eprint/9061

Actions (Authentification requise)

Dernière vérification avant le dépôt