Documents publiés en "2016"
Monter d'un niveauNombre de documents: 1
H
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