Requirements towards a formal specification language for PLCs

View/Open

Proceedings of the 22nd PhD Mini-Symposium - 004 (107.0Kb)

Metadata

Show full item record

Link to refer to this document:

http://hdl.handle.net/10890/15248

Collections

BME MIT PhD Minisymposium, 2015, 22nd [8]

Title: Requirements towards a formal specification language for PLCs
Author: Darvas, Dániel; Majzik, István; Blanco Viñuela, Enrique
Date of issue: 2015
Access level: Open access
Copyright owner: Budapest University of Technology and Economics
Conference title: 22nd PhD Mini-Symposium
Conference place: Online
Conference date: 2015.02.02
Language: en
Page: 18 - 21
Version: Published
Title of the container document: Proceedings of the 22nd PhD Mini-Symposium
ISBN, e-ISBN: ISBN 978-963-313-151-0
Document type: könyvfejezet
Document genre: Konferenciacikk
University: Budapest University of Technology and Economics
Department: Department of Measurement and Information Systems