Khaza Anuarul Hoque, Otmane Aı̈t Mohamed and Yvon Savaria
Paper (2016)
An external link is available for this item
| Department: | Department of Electrical Engineering |
|---|---|
| Research Center: | GR2M - Microelectronics and Microsystems Research Group |
| ISBN: | 9781467395199 |
| PolyPublie URL: | https://publications.polymtl.ca/35635/ |
| Conference Title: | Annual IEEE Systems Conference (SysCon 2016) |
| Conference Location: | Orlando, Flordia |
| Conference Date(s): | 2016-04-18 - 2016-04-21 |
| Publisher: | IEEE |
| DOI: | 10.1109/syscon.2016.7490557 |
| Official URL: | https://doi.org/10.1109/syscon.2016.7490557 |
| Date Deposited: | 18 Apr 2023 15:05 |
| Last Modified: | 08 Apr 2025 12:21 |
| Cite in APA 7: | Hoque, K. A., Mohamed, O. A.̈., & Savaria, Y. (2016, April). Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience [Paper]. Annual IEEE Systems Conference (SysCon 2016), Orlando, Flordia (6 pages). https://doi.org/10.1109/syscon.2016.7490557 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
