[HMS15]
Khaza Anuarul Hoque, Otmane Ait Mohamed and Yvon Savaria.
Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking.
In Proc. 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE'15), pages 1635-1640.
2015.
[Studies reliability, availability and maintainability properties of satellite systems using probabilistic model checking and PRISM.]
|
Links:
[Google]
[Google Scholar]
|