Browse by Author

Group by: Item Type | No Grouping

Number of items: 2.

Sukumar, Jairam and Bhat, Navakanta and Lata, Kusum and Roy, Subir K (2010) Formal Verification of Hybrid Automotive Systems. [Book Chapter]

Lata, Kusum and Roy, Subir K and Jamadagni, HS (2009) Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces. In: 2009. ASQED 2009. 1st Asia Symposium on Quality Electronic Design, 15-16 July 2009, Kuala Lumpur.

This list was generated on Wed Apr 24 14:38:31 2024 IST.


	Powered by EPrints		A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India

Export as	Atom RSS 1.0 RSS 2.0