{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:27:09Z","timestamp":1729657629885,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/sies.2016.7509409","type":"proceedings-article","created":{"date-parts":[[2016,7,14]],"date-time":"2016-07-14T21:41:34Z","timestamp":1468532494000},"page":"1-8","source":"Crossref","is-referenced-by-count":4,"title":["Conformance checking for programmable logic controller programs and specifications"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Darvas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istvan","family":"Majzik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrique Blanco","family":"Vinuela","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-3-662-43613-4_18"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/978-3-319-08867-9_22"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-319-33693-0_32"},{"key":"ref13","first-page":"7879","article-title":"Interoper-ability analysis of systems","author":"lambolais","year":"2011","journal-title":"Proc of the 18th IFAC World Congress"},{"key":"ref14","article-title":"Modeling and verification techniques for incremental development of UML architectures","author":"phan","year":"2013","journal-title":"European Conference on Object-Oriented Programming Doctoral Symposium"},{"key":"ref15","first-page":"43","article-title":"Verification of PLC programs using formal proof techniques","author":"s\u00fclflow","year":"2008","journal-title":"Formal Methods for Automation and Safety in Railway and Automotive Systems L'Harmattan"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/TII.2014.2315972"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1016\/j.conengprac.2010.10.001"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/ETFA.2015.7301603"},{"year":"2015","author":"weigl","article-title":"Regression verification for programmable logic controller software","key":"ref19"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/BFb0017309"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/0022-0000(81)90005-2"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"ref5","first-page":"103","article-title":"Test generation with inputs, outputs and repetitive quiescence","volume":"17","author":"tretmans","year":"1996","journal-title":"Software-Concepts and Tools"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.3182\/20140824-6-ZA-1003.01279"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-319-25423-4_15"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/978-1-4471-5176-0_12"},{"key":"ref1","first-page":"907","article-title":"A formal specification method for PLC-based applications","author":"darvas","year":"2015","journal-title":"Proc of the 15th Int Conf on Accelerator & Large Experimental Physics Control Systems JACoW"},{"key":"ref9","article-title":"Syntax and semantics of PLCspecif","author":"darvas","year":"2015","journal-title":"CERN Report EDMS 1523877"}],"event":{"name":"2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2016,5,23]]},"location":"Krakow, Poland","end":{"date-parts":[[2016,5,25]]}},"container-title":["2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7504669\/7509398\/07509409.pdf?arnumber=7509409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:44:22Z","timestamp":1602690262000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7509409"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/sies.2016.7509409","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}