%0 Conference Paper %1 conf/codit/SouidKAA22 %A Souid, Nour Elhouda %A Klai, Kais %A Abid, Chiheb Ameur %A Ahmed, Samir Ben %B CoDIT %D 2022 %I IEEE %K dblp %P 1397-1402 %T Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control. %U http://dblp.uni-trier.de/db/conf/codit/codit2022.html#SouidKAA22 %@ 978-1-6654-9607-0

@inproceedings{conf/codit/SouidKAA22, added-at = {2022-07-07T00:00:00.000+0200}, author = {Souid, Nour Elhouda and Klai, Kais and Abid, Chiheb Ameur and Ahmed, Samir Ben}, biburl = {https://www.bibsonomy.org/bibtex/2933a5b6e4d3d218ad0ae767b4add14a1/dblp}, booktitle = {CoDIT}, crossref = {conf/codit/2022}, ee = {https://doi.org/10.1109/CoDIT55151.2022.9804039}, interhash = {d1f1c1e0b4f134119fcbe4e2ec025f8f}, intrahash = {933a5b6e4d3d218ad0ae767b4add14a1}, isbn = {978-1-6654-9607-0}, keywords = {dblp}, pages = {1397-1402}, publisher = {IEEE}, timestamp = {2024-04-09T21:39:03.000+0200}, title = {Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control.}, url = {http://dblp.uni-trier.de/db/conf/codit/codit2022.html#SouidKAA22}, year = 2022 }