Runtime Enforcement of Cyber-Physical Systems
Pinisetty, Srinivas, Roop, Partha S., Smyth, Steven, Allen, Nathan, Tripakis, Stavros, Hanxleden, Reinhard VonVolume:
16
Language:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/3126500
Date:
September, 2017
File:
PDF, 784 KB
english, 2017