Mohammad-Reza Gholami and Hanifa Boucheneb
Paper (2014)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| ISBN: | 9783319122144 |
| PolyPublie URL: | https://publications.polymtl.ca/12301/ |
| Conference Title: | 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014) |
| Conference Location: | Munich, Germany |
| Conference Date(s): | 2014-10-27 - 2014-10-29 |
| Editors: | Frank Ortmeier and Antoine Rauzy |
| Publisher: | Springer |
| DOI: | 10.1007/978-3-319-12214-4_15 |
| Official URL: | https://doi.org/10.1007/978-3-319-12214-4_15 |
| Date Deposited: | 18 Apr 2023 15:08 |
| Last Modified: | 08 Apr 2025 12:20 |
| Cite in APA 7: | Gholami, M.-R., & Boucheneb, H. (2014, October). Applying formal methods into safety-critical health applications [Paper]. 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Munich, Germany. https://doi.org/10.1007/978-3-319-12214-4_15 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
