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 (474Kb)
Item Type: Departmental Technical Report
Related URLs:
Department/Centre: Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)
Date Deposited: 09 Nov 2011 06:18
Last Modified: 09 Nov 2011 06:18
URI: http://eprints.iisc.ernet.in/id/eprint/40348

Actions (login required)

View Item View Item