Modelling and Verification of PLC-Based Systems Programmed with Ladder Diagrams
Lobov, Andrei; Lastra, Jose L. Martinez; Tuokko, Reijo; Vyatkin, Valeriy
- 期刊名称IFAC Proceedings Volumes
- 作者Lobov, Andrei; Lastra, Jose L. Martinez; Tuokko, Reijo; Vyatkin, Valeriy
- 卷第37卷
- 期第4期
- 印刷ISSN1474-6670
- 文件大小701.64KB
- 发表时间2004-04
- DOI10.1016/s1474-6670(17)36116-5
- 页码183-188