A Classification of PLC Models and Applications-Reference-Cited by-同舟云学术

A Classification of PLC Models and Applications

Published:2000 Issue: Volume: Page:239-246
ISSN:
Container-title:Discrete Event Systems
language:
Short-container-title:

Author:

Mader Angelika

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-1-4615-4493-7_24

Reference3 articles.

1. (1993). IEC International Standard 1131-3, Programmable Controllers, Part 3, Programming Languages. International Electrotechnical Commission.

2. Maler, O. (1999). On the programming of industrial computers. VHS deliverable in Workpackage IP.1, http://www.verimag.imag.fr/VHS/IP/iecll31.ps. /VHS/IP/iecll31.ps.

3. Tourlas, K. (1997). An assessement of the IEC 1131-3 standard on languages for programmable controllers. In Daniel, P., editor, SafeComp’ 97, pages 210–219.

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

1. Model checking programs in process-oriented IEC 61131-3 Structured Text;Modeling and Analysis of Information Systems;2024-03-28

2. Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC);Proceedings of the 17th Innovations in Software Engineering Conference;2024-02-22

3. Developing Cloud PLC for poST-Specified Software;2023 International Russian Automation Conference (RusAutoCon);2023-09-10

4. Security of Programmable Logic Controllers and Related Systems: Today and Tomorrow;IEEE Open Journal of the Industrial Electronics Society;2023

5. A Temporal Requirements Language for Deductive Verification of Process-Oriented Programs;2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM);2022-06-30