Zhi Jie Dong, Mohamed H. Zaki, Ghiath Al Sammane, Sofiene Tahar and Guy Bois
Paper (2007)
An external link is available for this itemDepartment: | Department of Computer Engineering and Software Engineering |
---|---|
PolyPublie URL: | https://publications.polymtl.ca/52580/ |
Conference Title: | International Conference on Microelectronics (ICM 2007) |
Conference Location: | Cairo, Egypt |
Conference Date(s): | 2007-12-29 - 2007-12-31 |
Publisher: | IEEE |
DOI: | 10.1109/icm.2007.4497676 |
Official URL: | https://doi.org/10.1109/icm.2007.4497676 |
Date Deposited: | 18 Apr 2023 15:16 |
Last Modified: | 09 Oct 2024 16:22 |
Cite in APA 7: | Dong, Z. J., Zaki, M. H., Sammane, G. A., Tahar, S., & Bois, G. (2007, December). Checking properties of PLL designs using run-time verification [Paper]. International Conference on Microelectronics (ICM 2007), Cairo, Egypt (4 pages). https://doi.org/10.1109/icm.2007.4497676 |
---|---|
Statistics
Dimensions