Generic Representation of PLC Programming Languages for Formal Verification

Thumbnail
View/Open
Metadata
Show full item record
Link to refer to this document:
http://hdl.handle.net/10890/15115
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