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

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.

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 View Item