Khaza Anuarul Hoque, Otmane Ait Mohamed, Yvon Savaria
, Claude Thibeault
Communication écrite (2013)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Unité de recherche:
ISBN:
9783319054162
Adresse URL de PolyPublie:
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
URL officielle:
OAI:
oai:publications.polymtl.ca:12184
ORCID
Date du dépôt:
18 avr. 2023 15:09
Dernière modification:
14 oct. 2026 11:12
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
