Conformance Checking for Programmable Logic Controller Programs and Specifications
Cím | Conformance Checking for Programmable Logic Controller Programs and Specifications |
Közlemény típusa | Conference Paper |
Kiadás éve | 2016 |
Szerzők | Darvas, D., Majzik, I., and Blanco Viñuela, E. |
Konferencia neve | 11th IEEE International Symposium on Industrial Embedded Systems (SIES) |
Kiadás dátuma | 05/2016 |
Kiadó | IEEE |
Konferencia helyszíne | Kraków, Poland |
ISBN-szám | 978-1-5090-2282-3 |
URL | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7509409 |
DOI | 10.1109/SIES.2016.7509409 |
Refereed Designation | Refereed |