![](/img/cover-not-exists.png)
[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Runtime enforcement of K-step opacity
Falcone, Ylies, Marchand, HerveYear:
2013
Language:
english
DOI:
10.1109/cdc.2013.6761043
File:
PDF, 474 KB
english, 2013