{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T09:33:09Z","timestamp":1725787989558},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/indin.2012.6301059","type":"proceedings-article","created":{"date-parts":[[2012,9,17]],"date-time":"2012-09-17T20:46:11Z","timestamp":1347914771000},"page":"935-940","source":"Crossref","is-referenced-by-count":2,"title":["Framework for dynamic verification of multi-domain virtual platforms in industrial automation"],"prefix":"10.1109","author":[{"given":"F.","family":"Mendoza","sequence":"first","affiliation":[]},{"given":"J.","family":"Pascal","sequence":"additional","affiliation":[]},{"given":"P.","family":"Nenninger","sequence":"additional","affiliation":[]},{"given":"J.","family":"Becker","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2012.6210076"},{"journal-title":"\"Carbon ARM Model Library \" [Online]","year":"0","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/82.799677"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1080\/19401493.2010.518631"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1201\/9781420067859-c2"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1049\/ic.2010.0138"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.890107"},{"journal-title":"SystemC AMS Extensions User's Guide","year":"2010","author":"barnasconi","key":"2"},{"key":"1","article-title":"Cyber-Physical Systems -Are Computing Foundations Adequate?","author":"lee","year":"0","journal-title":"NSF Workshop on Cyber-Physical Systems Research Motivation Techniques and Roadmap 2006"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090672"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2007.04.001"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DELTA.2004.10008"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2009.4796495"},{"journal-title":"Praxis der Industriellen Temperaturmessung","year":"2008","author":"ehinger","key":"4"},{"key":"9","article-title":"Scalable problem-oriented approach for dynamic verification of embedded systems","author":"mendoza","year":"0","journal-title":"IFAC Conference on Embedded Systems Computational Intellingence and Telematics in Control 2012"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2011.5929987"}],"event":{"name":"2012 10th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2012,7,25]]},"location":"Beijing, China","end":{"date-parts":[[2012,7,27]]}},"container-title":["IEEE 10th International Conference on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6294017\/6300337\/06301059.pdf?arnumber=6301059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T23:53:02Z","timestamp":1490140382000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6301059\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/indin.2012.6301059","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}