Requirements towards a formal specification language for PLCs

Author	Darvas, Dániel
Author	Majzik, István
Author	Blanco Viñuela, Enrique
Date accessioned	2021-04-19T14:35:18Z
Date available	2021-04-19T14:35:18Z
Date of issue	2015
URI of identifier	http://hdl.handle.net/10890/15248
Language	en
Title	Requirements towards a formal specification language for PLCs
Document type	könyvfejezet
Version	Published
Access level	Open access
Copyright owner	Budapest University of Technology and Economics
Conference date	2015.02.02
Conference place	Online
Department	Department of Measurement and Information Systems
University	Budapest University of Technology and Economics
Date Issued	2015
ISBN, e-ISBN	ISBN 978-963-313-151-0
Publisher	Budapest University of Technology and Economics
Publisher place	Online
Title of the container document	Proceedings of the 22nd PhD Mini-Symposium
Document genre	Konferenciacikk
Conference title	22nd PhD Mini-Symposium
First page	18
Last page	21

BME MIT PhD Minisymposium, 2015, 22nd [8]
22nd PhD Mini-Symposium of the Department of Measurement and Information Systems