FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

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

Hoque, Khaza Anuarul, Ait Mohamed, Otmane, Savaria, Yvon and 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.

The full text of this document is not available here.
Rechercher dans Google Scholar
Item Type: Conference proceeding
ISBN: 9783319054155
Professor:
Professor
Thibeault, Claude
Affiliation: Génie électrique
Date Deposited: 11 Aug 2014 19:37
Last Modified: 11 Aug 2014 19:37
URI: https://espace2.etsmtl.ca/id/eprint/8353

Actions (login required)

View Item View Item