Monter d'un niveau |
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. Lien externe