Generic Representation of PLC Programming Languages for Formal Verification
Date
Type
könyvfejezet
Language
en
Reading access rights:
Open access
Rights Holder
Budapest University of Technology and Economics
Conference Date
February 8-9, 2016
Conference Place
Online
Conference Title
23rd PhD Mini-Symposium
ISBN, e-ISBN
ISBN 978-963-313-220-3
Container Title
Proceedings of the 23rd PhD Mini-Symposium
Department
Department of Measurement and Information Systems
Version
Published
First Page
6
Subject Area
Műszaki tudományok
Subject Field
Informatikai tudományok
Gender
Konferenciacikk
University
Budapest University of Technology and Economics
- Cite this item
- http://hdl.handle.net/10890/15115