Conflict-Tolerant Specifications for Hybrid Systems

Autoria(s): D'Souza, Deepak; Sampath, Prahladavaradan; Ramesh, S; Gopinathan, Madhu
Data(s)

2010
Formato

application/pdf
Identificador

http://eprints.iisc.ernet.in/40348/1/Conflict_toletant.pdf

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

http://eprints.iisc.ernet.in/40348/
Palavras-Chave #Computer Science & Automation (Formerly, School of Automation)
Tipo

Departmental Technical Report

PeerReviewed
Acesso ao item digital