Khaza Anuarul Hoque, Otmane Aı̈t Mohamed et Yvon Savaria
Communication écrite (2016)
Un lien externe est disponible pour ce document
| Département: | Département de génie électrique |
|---|---|
| Centre de recherche: | GR2M - Groupe de recherche en microélectronique et microsystèmes |
| ISBN: | 9781467395199 |
| URL de PolyPublie: | https://publications.polymtl.ca/35635/ |
| Nom de la conférence: | Annual IEEE Systems Conference (SysCon 2016) |
| Lieu de la conférence: | Orlando, Flordia |
| Date(s) de la conférence: | 2016-04-18 - 2016-04-21 |
| Maison d'édition: | IEEE |
| DOI: | 10.1109/syscon.2016.7490557 |
| URL officielle: | https://doi.org/10.1109/syscon.2016.7490557 |
| Date du dépôt: | 18 avr. 2023 15:05 |
| Dernière modification: | 08 avr. 2025 12:21 |
| Citer en APA 7: | 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). https://doi.org/10.1109/syscon.2016.7490557 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
