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

Khaza Anuarul Hoque, Otmane At Mohamed, Yvon Savaria

Browse the full DATE paper archive.