Dedicative Verification of Reflex Programs-Reference-Cited by-同舟云学术

Dedicative Verification of Reflex Programs

Published:2020-07 Issue:4 Volume:46 Page:261-272
ISSN:0361-7688
Container-title:Programming and Computer Software
language:en
Short-container-title:Program Comput Soft

Author:

Anureev I. S.,Garanina N. O.,Lyakh T. V.,Rozov A. S.,Zyubin V. E.,Gorlatch S. P.

Publisher

Pleiades Publishing Ltd

Subject

Software

Link

https://link.springer.com/content/pdf/10.1134/S0361768820040027.pdf

Reference38 articles.

1. Blanke, M., Kinnaert, M., Lunze, J., and Staroswiecki, M., Diagnosis and Fault-Tolerant Control, Springer, 2006, 2nd ed.

2. IEC 61131-3: Programmable controllers, Part 3: Programming languages, Rev. 2.0, International Electrotechnical Commission Std., 2003.

3. Basile, F., Chiacchio, P., and Gerbasio, D., On the implementation of industrial automation systems based on PLC, IEEE Trans. Autom. Sci. Eng., 2013, vol. 4, no. 10, pp. 990–1003.

4. Thramboulidis, K. and Frey, G., An MDD process for IEC 61131-based industrial automation systems, Proc. 16th IEEE Int. Conf. Emerging Technologies and Factory Automation (ETFA), Toulouse, France, 2011, pp. 1–8.

5. IEC 61499: Function blocks for industrial process measurement and control systems, Parts 1–4, Rev. 1.0, International Electrotechnical Commission Std., 2004–2005.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automation of C Program Deductive Verification without Using Loop Invariants;Programming and Computer Software;2022-09-13

2. Software Psychology of Control Software Design and Development;2021 International Symposium on Knowledge, Ontology, and Theory (KNOTH);2021-12-04