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

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:	29 Jun 2026 15:24

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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistics

Repository Staff Only