Khaza Anuarul Hoque, Otmane Ait Mohamed, Yvon Savaria
and Claude Thibeault
Paper (2013)
An external link is available for this item
| Department: | Department of Electrical Engineering |
|---|---|
| Research Center: | GR2M - Microelectronics and Microsystems Research Group |
| ISBN: | 9783319054162 |
| PolyPublie URL: | https://publications.polymtl.ca/12184/ |
| Conference Title: | 2nd International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2013) |
| Conference Location: | Queenstown, New Zealand |
| Conference Date(s): | 2013-10-29 - 2013-10-30 |
| Publisher: | Springer |
| DOI: | 10.1007/978-3-319-05416-2_5 |
| Official URL: | https://doi.org/10.1007/978-3-319-05416-2_5 |
| Date Deposited: | 18 Apr 2023 15:09 |
| Last Modified: | 08 Apr 2025 12:20 |
| Cite in APA 7: | Hoque, K. A., Ait Mohamed, O., Savaria, Y., & Thibeault, C. (2013, October). Early analysis of soft error effects for aerospace applications using probabilistic model checking [Paper]. 2nd International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2013), Queenstown, New Zealand. https://doi.org/10.1007/978-3-319-05416-2_5 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
