Conflict-Tolerant Specifications for Hybrid Systems

D'Souza, Deepak and Sampath, Prahladavaradan and Ramesh, S and Gopinathan, Madhu (2010) Conflict-Tolerant Specifications for Hybrid Systems. IISc-CSA-TR-2010-6.

Preview

PDF Conflict_toletant.pdf - Submitted Version Download (485kB)

Item Type:	Departmental Technical Report
Department/Centre:	Division of Electrical Sciences > Computer Science & Automation
Date Deposited:	09 Nov 2011 06:18
Last Modified:	09 Nov 2011 06:18
URI:	http://eprints.iisc.ac.in/id/eprint/40348

Actions (login required)

View Item