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
Number of items: 3.

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.

Lata, Kusum and Jamadagni, HS (2009) Formal Verification of Full-Wave Rectifier: A Case Study. In: IEEE 8th International Conference on ASIC, OCT 20-23, 2009, Changsha, pp. 1306-1309.

This list was generated on Sat Aug 2 10:41:56 2014 IST.