Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
General Engineering,General Materials Science,General Computer Science
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Obfuscation of function block diagrams;2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA);2023-09-12
2. Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499;IEEE Open Journal of the Industrial Electronics Society;2023
3. Reliability Analysis of Instrumentation and Control System: A Case Study of Nuclear Power Plant;Nuclear Reactors - Spacecraft Propulsion, Research Reactors, and Reactor Analysis Topics;2022-09-14
4. Model-checking infinite-state nuclear safety I&C systems with nuXmv;2021 IEEE 19th International Conference on Industrial Informatics (INDIN);2021-07-21