ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

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

Book Chapter

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

Conference Paper

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 Fri Apr 26 15:15:14 2024 IST.
Powered by EPrints A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India