PLC Program Translation for Verification Purposes
Darvas, Dániel; Majzik, István; Blanco Viñuela, Enrique
- 期刊名称Periodica Polytechnica Electrical Engineering and Computer Science
- 作者Darvas, Dániel; Majzik, István; Blanco Viñuela, Enrique
- 卷第61卷
- 期第2期
- 印刷ISSN2064-5260
- 电子ISSN2064-5279
- 文件大小944.25KB
- 发表时间2017-05-23
- DOI10.3311/PPee.9743