Author:
Berard Beatrice,Mullins John,Sassolas Mathieu
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Opacity Properties in Security Systems;IEEE Transactions on Dependable and Secure Computing;2023-03-01
2. At Design-Time Approach for Supervisory Control of Opacity;Cooperative Information Systems;2022
3. A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems;Information and Communications Security;2021
4. Opacity;Communications and Control Engineering;2019-10-02
5. The Opacity of Real-Time Automata;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2018-11