Author:
Shatrov Viktor,Vyatkin Valeriy
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model checking programs in process-oriented IEC 61131-3 Structured Text;Modeling and Analysis of Information Systems;2024-03-28
2. Debugging approach for IEC 61499 control applications in FBME;2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE);2023-06-19
3. Formal model of IEC 61499 execution trace in FBME IDE;2022 IEEE 20th International Conference on Industrial Informatics (INDIN);2022-07-25