La vitrine de diffusion des publications et contributions des chercheurs de l'ÉTS
RECHERCHER

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

Hoque, Khaza Anuarul et Mohamed, O. Ait et 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), p. 175-184. Piscataway, N. J., USA : IEEE.
Compte des citations dans Scopus : 3.

Le plein texte de ce document n'est pas hébergé sur ce serveur.
Type de document: Compte rendu de conférence
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: http://espace2.etsmtl.ca/id/eprint/9061

Actions (Authentification requise)

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