Login | Register

Items where Author is "Bois, Guy"

Group by: Item Type | No Grouping
Jump to: Article
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

Zaki, Mohamed H., Tahar, Sofiène and Bois, Guy (2008) Formal verification of analog and mixed signal designs: A survey. Microelectronics Journal, 39 (12). pp. 1395-1404. ISSN 00262692

This list was generated on Thu Mar 28 03:14:48 2024 EDT.
Back to top Back to top