Conformance Checking for Programmable Logic Controller Programs and Specifications

TitleConformance Checking for Programmable Logic Controller Programs and Specifications
Publication TypeConference Paper
Year of Publication2016
AuthorsDarvas, D., Majzik, I., and Blanco Viñuela, E.
Conference Name11th IEEE International Symposium on Industrial Embedded Systems (SIES)
Date Published05/2016
PublisherIEEE
Conference LocationKraków, Poland
ISBN Number978-1-5090-2282-3
URLhttp://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7509409
DOI10.1109/SIES.2016.7509409
Refereed DesignationRefereed