Generic Representation of PLC Programming Languages for Formal Verification
Metadata
Show full item record
Link to refer to this document:
Collections
- Title
- Generic Representation of PLC Programming Languages for Formal Verification
- Author
- Darvas, Dániel
- Majzik, István
- Blanco Viñuela, Enrique
- Date of issue
- 2016
- Access level
- Open access
- Copyright owner
- Budapest University of Technology and Economics
- Conference title
- 23rd PhD Mini-Symposium
- Conference place
- Online
- Conference date
- February 8-9, 2016
- Language
- en
- Page
- 6 - 9
- Version
- Published
- Identifiers
- DOI: https://doi.org/10.5281/zenodo.51064
- Title of the container document
- Proceedings of the 23rd PhD Mini-Symposium
- ISBN, e-ISBN
- ISBN 978-963-313-220-3
- Document type
- könyvfejezet
- Document genre
- Konferenciacikk
- Subject area
- Műszaki tudományok
- Field
- Informatikai tudományok
- University
- Budapest University of Technology and Economics
- Department
- Department of Measurement and Information Systems