Inproceedings,

Towards an Approximate Conformance Relation for Hybrid I/O Automata.

, and .
V2CPS@IFM, volume 232 of EPTCS, page 53-64. (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews