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

Formal Verification of Hybrid Automotive Systems

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

[img] PDF
formal.pdf - Published Version
Restricted to Registered users only

Download (838kB) | Request a copy
Official URL: http://www.intechopen.com/articles/show/title/form...
Item Type: Book Chapter
Publisher: InTech
Additional Information: Copyright belongs to InTech.
Department/Centre: Division of Electrical Sciences > Electrical Communication Engineering
Date Deposited: 09 Nov 2011 06:56
Last Modified: 09 Nov 2011 06:56
URI: http://eprints.iisc.ac.in/id/eprint/40319

Actions (login required)

View Item View Item