Mohamed H. Zaki, Ghiath Al-Sammane, Sofiene Tahar and Guy Bois
Paper (2007)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| ISBN: | 0769530230 |
| PolyPublie URL: | https://publications.polymtl.ca/53309/ |
| Conference Title: | Formal Methods in Computer Aided Design (FMCAD 2007) |
| Conference Location: | Austin, TX, USA |
| Conference Date(s): | 2007-11-11 - 2007-11-14 |
| Publisher: | IEEE |
| DOI: | 10.1109/famcad.2007.25 |
| Official URL: | https://doi.org/10.1109/famcad.2007.25 |
| Date Deposited: | 18 Apr 2023 15:17 |
| Last Modified: | 08 Apr 2025 07:22 |
| Cite in APA 7: | Zaki, M. H., Al-Sammane, G., Tahar, S., & Bois, G. (2007, November). Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs [Paper]. Formal Methods in Computer Aided Design (FMCAD 2007), Austin, TX, USA (9 pages). https://doi.org/10.1109/famcad.2007.25 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
