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.

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