@article{falcone:hal-00987985, TITLE = {{Enforcement and Validation (at runtime) of Various Notions of Opacity}}, AUTHOR = {Falcone, Yli{\`e}s and Marchand, Herv{\'e}}, URL = {https://inria.hal.science/hal-00987985}, JOURNAL = {{Discrete Event Dynamic Systems}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {25}, NUMBER = {4}, PAGES = {531-570}, YEAR = {2015}, DOI = {10.1007/s10626-014-0196-4}, PDF = {https://inria.hal.science/hal-00987985/file/main.pdf}, HAL_ID = {hal-00987985}, HAL_VERSION = {v1}, }