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]

PDF formal.pdf - Published Version Restricted to Registered users only Download (818Kb) | Request a copy

Item Type:	Book Chapter
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.ernet.in/id/eprint/40319

Actions (login required)

View Item