Vytisknout
0564912 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Balun, J. - Masopust, Tomáš
On verification of weak and strong k-step opacity for discrete-event systems.
IFAC-PapersOnLine. Volume 55, Issue 28 - Proceedings of 16th IFAC Workshop on Discrete Event Systems WODES 2022. Amsterdam: Elsevier, 2022 - (Komenda, J.; Reveliotis, S.; Masopust, T.; Burget, P.), s. 108-113. ISSN 2405-8963.
[16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * finite automata * opacity * verification * complexity
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.331
Trvalý link: https://hdl.handle.net/11104/0336489
Balun, J. - Masopust, Tomáš
On verification of weak and strong k-step opacity for discrete-event systems.
IFAC-PapersOnLine. Volume 55, Issue 28 - Proceedings of 16th IFAC Workshop on Discrete Event Systems WODES 2022. Amsterdam: Elsevier, 2022 - (Komenda, J.; Reveliotis, S.; Masopust, T.; Burget, P.), s. 108-113. ISSN 2405-8963.
[16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * finite automata * opacity * verification * complexity
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.331
Trvalý link: https://hdl.handle.net/11104/0336489