K. A. Hoque, O. A. Mohamed et Yvon Savaria
Communication écrite (2015)
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 |
| URL de PolyPublie: | https://publications.polymtl.ca/11146/ |
| Nom de la conférence: | Design, Automation and Test in Europe Conference and Exhibition (DATE 2015) |
| Lieu de la conférence: | Grenoble, France |
| Date(s) de la conférence: | 2015-03-09 - 2015-03-13 |
| Maison d'édition: | ACM |
| DOI: | 10.7873/date.2015.0817 |
| URL officielle: | https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&ar... |
| Date du dépôt: | 18 avr. 2023 15:07 |
| Dernière modification: | 05 avr. 2024 10:49 |
| Citer en APA 7: | Hoque, K. A., Mohamed, O. A., & Savaria, Y. (mars 2015). Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking [Communication écrite]. Design, Automation and Test in Europe Conference and Exhibition (DATE 2015), Grenoble, France. https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7092655 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
