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

Hoque, Khaza Anuarul, Ait Mohamed, Otmane, 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. pp. 54-70. Springer Verlag.
Compte des citations dans Scopus : 12.

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

Type de document:	Compte rendu de conférence
ISBN:	9783319054155
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:	https://espace2.etsmtl.ca/id/eprint/8353

Actions (Authentification requise)

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