{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:48:35Z","timestamp":1730274515004,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1109\/isie.2015.7281537","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T21:54:18Z","timestamp":1443736458000},"page":"606-611","source":"Crossref","is-referenced-by-count":5,"title":["Supporting commissioning of production plants by model-based testing and model learning"],"prefix":"10.1109","author":[{"given":"Jan","family":"Ladiges","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[]},{"given":"Christopher","family":"Haubeck","sequence":"additional","affiliation":[]},{"given":"Winfried","family":"Lamersdorf","sequence":"additional","affiliation":[]},{"given":"Sascha","family":"Lity","sequence":"additional","affiliation":[]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6058976"},{"journal-title":"System Engineering Management","year":"2004","author":"blanchard","key":"ref11"},{"key":"ref12","first-page":"287","article-title":"Formal Technical Process Specification and Verification for Automated Production Systems","volume":"8769","author":"hackenberg","year":"2014","journal-title":"System Analysis and Modeling Models and Reusability"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2014-1126"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2258165"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s12008-011-0127-7"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005159"},{"key":"ref17","article-title":"Test-Driven Automation: Adopting Test-First Development to Improve Automation Systems Engineering Processes","author":"winkler","year":"2009","journal-title":"EuroSPI’ 09"},{"year":"2009","key":"ref18","article-title":"DIN IEC 61131–3, Programmable Controllers - Part 3: Programming Languages"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.309"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2014-1099"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2015.7281753"},{"journal-title":"Practical Model-Based Testing A Tools Approach","year":"2006","author":"utting","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549620"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2011.02.008"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2058102"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2014.75041"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s11740-007-0066-0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1515\/auto-2014-1100"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005157"},{"key":"ref21","article-title":"Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit","author":"vogel-heuser","year":"2014","journal-title":"Inst of Automation and Information Systems TUM Tech Rep"}],"event":{"name":"2015 IEEE 24th International Symposium on Industrial Electronics (ISIE)","start":{"date-parts":[[2015,6,3]]},"location":"Buzios, Rio de Janeiro, Brazil","end":{"date-parts":[[2015,6,5]]}},"container-title":["2015 IEEE 24th International Symposium on Industrial Electronics (ISIE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7268961\/7281431\/07281537.pdf?arnumber=7281537","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T20:24:48Z","timestamp":1490387088000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7281537\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/isie.2015.7281537","relation":{},"subject":[],"published":{"date-parts":[[2015,6]]}}}