Subject
Signal Processing,Control and Systems Engineering,Software
Reference23 articles.
1. Anureev, I., Operational semantics of annotated Reflex programs, Model. Anal. Inf. Sist., 2019, vol. 26, no. 6, pp. 181–192.
2. Anureev, I., Garanina, N., Liakh, T., Rozov, A., and Zyubin, V., Towards safe cyber-physical systems: The Reflex language and its transformational semantics, IEEE International Siberian Conference on Control and Communications, IEEE, 2019, pp. 18–20.
3. Brinksma, E. and Mader, A., Verification and optimization of a PLC control schedule, SPIN 2000 – SPIN Model Checking and Software Verification, Springer, 2000, pp. 73–92.
4. Gourcuff, V., de Smet, O., and Faure, J.-M., Improving large-sized PLC programs verification using abstractions, IFAC Proc. Vol., 2008, vol. 41, no. 2, pp. 5101–5106.
5. A classification of PLC models and applications;A. Mader,2000
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献