Runtime Enforcement of Cyber-Physical Systems

Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden. Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embedded Comput. Syst., 16(5), 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.