Khaza Anuarul Hoque, Otmane Ait Mohamed, Yvon Savaria
et Claude Thibeault
Communication écrite (2013)
Un lien externe est disponible pour ce document
| Département: | Département de génie électrique |
|---|---|
| Centre de recherche: | GR2M - Groupe de recherche en microélectronique et microsystèmes |
| ISBN: | 9783319054162 |
| URL de PolyPublie: | https://publications.polymtl.ca/12184/ |
| Nom de la conférence: | 2nd International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2013) |
| Lieu de la conférence: | Queenstown, New Zealand |
| Date(s) de la conférence: | 2013-10-29 - 2013-10-30 |
| Maison d'édition: | Springer |
| DOI: | 10.1007/978-3-319-05416-2_5 |
| URL officielle: | https://doi.org/10.1007/978-3-319-05416-2_5 |
| Date du dépôt: | 18 avr. 2023 15:09 |
| Dernière modification: | 08 avr. 2025 12:20 |
| Citer en APA 7: | Hoque, K. A., Ait Mohamed, O., Savaria, Y., & Thibeault, C. (octobre 2013). Early analysis of soft error effects for aerospace applications using probabilistic model checking [Communication écrite]. 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 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
