[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Abstracting and refining robustness for cyber-physical systems
Rungger, Matthias, Tabuada, PauloYear:
2014
Language:
english
DOI:
10.1145/2562059.2562133
File:
PDF, 604 KB
english, 2014