Author:
Quezada J. C.,Medina J.,Flores E.,Seck Tuoh J. C.,Solís A. E.,Quezada V.
Publisher
Springer Science and Business Media LLC
Subject
Industrial and Manufacturing Engineering,Computer Science Applications,Mechanical Engineering,Software,Control and Systems Engineering
Reference21 articles.
1. International Electrotechnical Commision IEC 61131-3 (2003) Programmable Controllers: Programming Languages, International standard, segunda edición
2. Barbosa H, Déharbe D (2012) Formal verification of PLC programs using the B method, Lecture Notes Computer Science, vol 7316, pp 353–356
3. Wang R, Zhou M, Yin L, Zhang L, Sun J, Ming G (2012) Modeling and validation of PLC-controlled systems: a case study. In: IEEE 6th international symposium on theoretical aspects of software engineering, pp 161–166
4. Grobelna I, Grobelny M, Adamski M (2010) Petri nets and activity diagrams in logic controller specification - transformation and verification. In: 607–612
5. Ljungkrantz O, Akesson K, Fabian M, Yuan C (2010) Formal specification and verification of industrial control logic components. IEEE Trans Autom Sci Eng 7(3):538–548
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献