Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria
Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking
DATE, 2015.
@inproceedings{DATE-2015-HoqueMS,
acmid = "2757191",
author = "Khaza Anuarul Hoque and Otmane Aït Mohamed and Yvon Savaria",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "1635--1640",
publisher = "{ACM}",
title = "{Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking}",
year = 2015,
}