Author:
Bhatti Zeeshan E.,Sinha Roopak,Roop Partha S.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal verification of observers supervising a cyber-physical system implemented using IEC 61499;2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE);2023-06-19
2. Monitoring design pattern for distributed automation systems in IEC 61499 and its formal modelling;2022 IEEE 31st International Symposium on Industrial Electronics (ISIE);2022-06-01
3. A Design Pattern for Monitoring Adapter Connections in IEC 61499;2021 22nd IEEE International Conference on Industrial Technology (ICIT);2021-03-10
4. CLAIR: A Contract-Based Framework for Developing Resilient CPS Architectures;2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC);2018-05
5. Unified Functional Safety Assessment of Industrial Automation Systems;IEEE Transactions on Industrial Informatics;2017-02