<  Back to the Polytechnique Montréal portal

Items where Author is "Al-Sammane, Ghiath"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: Z
Number of items: 1.


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

List generated on: Fri May 24 19:20:21 2024 EDT