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

Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking

Hoque, Khaza Anuarul et Ait Mohamed, Otmane et Savaria, Yvon et Thibeault, Claude. 2014. « Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking ». In Formal Techniques for Safety-Critical Systems - 2nd International Workshop, FTSCS 2013, Revised Selected Papers (Queenstown, New Zealand, Oct. 29-30, 2013) Coll. « Communications in Computer and Information Science », vol. 419. , p. 54-70. Springer Verlag.
Compte des citations dans Scopus : 5.

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: 11 août 2014 19:37
Dernière modification: 11 août 2014 19:37
URI: http://espace2.etsmtl.ca/id/eprint/8353

Actions (Authentification requise)

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