Khaza Anuarul Hoque, Otmane Aı̈t Mohamed and Yvon Savaria
Paper (2015)
An external link is available for this item
| Department: | Department of Electrical Engineering |
|---|---|
| Research Center: | GR2M - Microelectronics and Microsystems Research Group |
| ISBN: | 9783981537048 |
| PolyPublie URL: | https://publications.polymtl.ca/11146/ |
| Conference Title: | Design, Automation and Test in Europe Conference and Exhibition (DATE 2015) |
| Conference Location: | Grenoble, France |
| Conference Date(s): | 2015-03-09 - 2015-03-13 |
| Publisher: | ACM |
| DOI: | 10.7873/date.2015.0817 |
| Official URL: | https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&ar... |
| Date Deposited: | 18 Apr 2023 15:07 |
| Last Modified: | 08 Apr 2025 12:21 |
| Cite in APA 7: | Hoque, K. A., Mohamed, O. A.̈., & Savaria, Y. (2015, March). Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking [Paper]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2015), Grenoble, France. https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7092655 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
