Abstracting and refining robustness for cyber-physical systems
| Title | Abstracting and refining robustness for cyber-physical systems |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Rungger, Matthias, Tabuada, Paulo |
| Conference Name | Proceedings of the 17th international conference on Hybrid systems: computation and control |
| Publisher | ACM |
| Keywords | 1552668 |
| URL | http://dl.acm.org/citation.cfm?id=2562133 |
| Citation Key | rungger2014abstracting |