Title | Conformance Checking for Programmable Logic Controller Programs and Specifications |
Publication Type | Conference Paper |
Year of Publication | 2016 |
Authors | Darvas, D., Majzik, I., and Blanco Viñuela, E. |
Conference Name | 11th IEEE International Symposium on Industrial Embedded Systems (SIES) |
Date Published | 05/2016 |
Publisher | IEEE |
Conference Location | Kraków, Poland |
ISBN Number | 978-1-5090-2282-3 |
URL | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7509409 |
DOI | 10.1109/SIES.2016.7509409 |
Refereed Designation | Refereed |