Conformance Checking for Programmable Logic Controller Programs and Specifications

CímConformance Checking for Programmable Logic Controller Programs and Specifications
Közlemény típusaConference Paper
Kiadás éve2016
SzerzőkDarvas, D., Majzik, I., and Blanco Viñuela, E.
Konferencia neve11th IEEE International Symposium on Industrial Embedded Systems (SIES)
Kiadás dátuma05/2016
KiadóIEEE
Konferencia helyszíneKraków, Poland
ISBN-szám978-1-5090-2282-3
URLhttp://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7509409
DOI10.1109/SIES.2016.7509409
Refereed DesignationRefereed