Sukumar, Jairam and Bhat, Navakanta and Lata, Kusum and Roy, Subir K (2010) Formal Verification of Hybrid Automotive Systems. [Book Chapter]
![[img]](http://eprints.iisc.ac.in/style/images/fileicons/application_pdf.png) |
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 |
