Runtime Enforcement of Cyber-Physical Systems
Title | Runtime Enforcement of Cyber-Physical Systems |
Publication Type | Conference Paper |
Year of Publication | 2017 |
Authors | Srinivas Pinisetty, Partha S Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden |
Conference Name | International Conference on Embedded Software (EMSOFT) |
Keywords | 1329759 |
Citation Key | EnforcementEMSOFT2017 |