 | Monter d'un niveau |
Réseau de collaborationCe graphique trace les liens entre tous les collaborateurs des publications de {} figurant sur cette page.
Chaque lien représente une collaboration sur la même publication. L'épaisseur du lien représente le nombre de collaborations.
Utilisez la molette de la souris ou les gestes de défilement pour zoomer à l'intérieur du graphique.
Vous pouvez cliquer sur les noeuds et les liens pour les mettre en surbrillance et déplacer les noeuds en les glissant.
Enfoncez la touche "Ctrl" ou la touche "⌘" en cliquant sur les noeuds pour ouvrir la liste des publications de cette personne.
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
