PDF:
Generic Representation of PLC Programming Languages for Formal Verification
| Title | Generic Representation of PLC Programming Languages for Formal Verification |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Darvas, D., Majzik, I., and Blanco Viñuela, E. |
| Conference Name | Proceedings of the 23rd PhD Mini-Symposium |
| Publisher | Budapest University of Technology and Economics, Department of Measurement and Information Systems |
| ISBN Number | 978-963-313-220-3 |
| DOI | 10.5281/zenodo.51064 |
| Refereed Designation | Refereed |
