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.
Rechercher dans Google Scholar
Official URL: http://dx.doi.org/10.1007/978-3-319-05416-2_5
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 |