Monter d'un niveau |
Hoque, K. A., Mohamed, O. A., & Savaria, Y. (avril 2016). Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience [Communication écrite]. Annual IEEE Systems Conference (SysCon 2016), Orlando, Flordia (6 pages). Lien externe
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