Login | Register

Items where Author is "Denman, William"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article | Thesis
Number of items: 2.

Article

Zaki, Mohamed H., Denman, William, Tahar, Sofiène and Bois, Guy (2009) Integrating Abstraction Techniques for Formal Verification of Analog Designs. Journal of Aerospace Computing, Information, and Communication, 6 (5). pp. 373-392. ISSN 1542-9423

Thesis

Denman, William (2009) Towards the automated modelling and formal verification of analog designs. Masters thesis, Concordia University.

This list was generated on Wed Aug 12 03:25:02 2020 EDT.
Back to top Back to top