Mohammad-Reza Gholami, Hanifa Boucheneb
Communication écrite (2014)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
ISBN:
9783319122144
Adresse URL de PolyPublie:
Nom de la conférence:
4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014)
Lieu de la conférence:
Munich, Germany
Date(s) de la conférence:
2014-10-27 - 2014-10-29
Éditeurs ou éditrices:
Maison d'édition:
Springer
URL officielle:
OAI:
oai:publications.polymtl.ca:12301
ORCID
Date du dépôt:
18 avr. 2023 15:08
Dernière modification:
14 oct. 2026 11:12
Citer en APA 7:
Gholami, M.-R., & Boucheneb, H. (octobre 2014). Applying formal methods into safety-critical health applications [Communication écrite]. 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Munich, Germany. https://doi.org/10.1007/978-3-319-12214-4_15
Statistiques
Dimensions
