Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking

Khaza Anuarul Hoque, Otmane Aı̈t Mohamed, Yvon Savaria

Communication écrite (2015)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel

Mots clés

ISBN:
9783981537048
Adresse URL de PolyPublie:
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
OAI:
oai:publications.polymtl.ca:11146
ORCID
Date du dépôt:
18 avr. 2023 15:07
Dernière modification:
29 oct. 2026 10:52
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
Afficher document