%0 Journal Article %1 journals/arc/JacobLF16 %A Jacob, Romain %A Lesage, Jean-Jacques %A Faure, Jean-Marc %D 2016 %J Annu. Rev. Control. %K dblp %P 135-146 %T Overview of discrete event systems opacity: Models, validation, and quantification. %U http://dblp.uni-trier.de/db/journals/arc/arc41.html#JacobLF16 %V 41

@article{journals/arc/JacobLF16, added-at = {2020-02-21T00:00:00.000+0100}, author = {Jacob, Romain and Lesage, Jean-Jacques and Faure, Jean-Marc}, biburl = {https://www.bibsonomy.org/bibtex/2caa594573e7bf362f1be953f5c8062f1/dblp}, ee = {https://doi.org/10.1016/j.arcontrol.2016.04.015}, interhash = {a0c96eeaf9861fb34ca65d15d8ba01fb}, intrahash = {caa594573e7bf362f1be953f5c8062f1}, journal = {Annu. Rev. Control.}, keywords = {dblp}, pages = {135-146}, timestamp = {2020-02-22T12:21:10.000+0100}, title = {Overview of discrete event systems opacity: Models, validation, and quantification.}, url = {http://dblp.uni-trier.de/db/journals/arc/arc41.html#JacobLF16}, volume = 41, year = 2016 }