<  Back to the Polytechnique Montréal portal

Integrating abstraction techniques for formal verification of analog designs

Mohamed H. Zaki, William Denman, Sofiene Tahar and Guy Bois

Article (2009)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/18790/
Journal Title: Journal of Aerospace Computing, Information and Communication (vol. 6, no. 5)
Publisher: American Institute of Aeronautics and Astronautics
DOI: 10.2514/1.44289
Official URL: https://doi.org/10.2514/1.44289
Date Deposited: 18 Apr 2023 15:15
Last Modified: 18 Apr 2023 15:15
Cite in APA 7: Zaki, M. H., Denman, W., Tahar, S., & Bois, G. (2009). Integrating abstraction techniques for formal verification of analog designs. Journal of Aerospace Computing, Information and Communication, 6(5), 373-392. https://doi.org/10.2514/1.44289

Statistics

Dimensions

Repository Staff Only

View Item View Item