<  Back to the Polytechnique Montréal portal

Items published in "2009"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Department | Document subtype | No Grouping
Jump to: Z
Number of items: 1.


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. External link

List generated on: Thu Apr 18 07:10:18 2024 EDT