{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:35:31Z","timestamp":1729650931947,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/cispee.2013.6701966","type":"proceedings-article","created":{"date-parts":[[2014,1,10]],"date-time":"2014-01-10T20:10:03Z","timestamp":1389384603000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["A simulation platform for automation teaching"],"prefix":"10.1109","author":[{"given":"Nuno","family":"Canadas","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Barros","sequence":"additional","affiliation":[]},{"given":"Jose","family":"Machado","sequence":"additional","affiliation":[]},{"given":"Filomena","family":"Soares","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-31848-4_9","article-title":"Specifying and generating test cases using observer automata","volume":"3395","author":"blom","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"year":"0","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-011-3817-1"},{"year":"0","key":"16"},{"key":"13","first-page":"3185","article-title":"A tutorial on UPPAAL","author":"behrmann","year":"2004","journal-title":"LNCS"},{"key":"14","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1007\/978-3-540-27863-4_28","article-title":"Verification of PLC programs given as sequential function charts","volume":"3147","author":"bauer","year":"2004","journal-title":"Integration of Software Specification Techniques for Applications in Engineering Lecture Notes in Computer Science"},{"year":"0","key":"11"},{"journal-title":"Desenvolvimento de Proto?tipos Virtuais Para A Utilizac? a?o em Simulac?a?o Software-in-the-loop","year":"2012","author":"carneiro","key":"12"},{"key":"3","first-page":"13","article-title":"The role of interactive video technology in higher education: Case study and proposed framework","author":"hansen","year":"1990","journal-title":"Education Technology"},{"key":"2","article-title":"E-grafcet: A multimedia educational teaching tool","author":"matias","year":"2010","journal-title":"Controlo 2010 9th Portuguese Conference on Automatic Control"},{"journal-title":"Platform WALC Design and Development of A PLC Network","year":"2009","author":"carvalho","key":"1"},{"journal-title":"Langue de Spe?cification GRAFCET Pour Diagrammes Fonctionnels en Sequence 2 Ed","year":"2000","key":"10"},{"key":"7","article-title":"A generic approach to build plant models for des verification purposes","author":"machado","year":"2006","journal-title":"Proceedings of 2006 Workshop of Discrete Event Systems (WODES'06)"},{"year":"1993","key":"6"},{"journal-title":"European Standard en 60848 GRAFCET Specification Language for Sequential Function Charts","year":"2002","key":"5"},{"key":"4","first-page":"39","article-title":"A virtual laboratory environment for real-time experiments","author":"carnevali","year":"2003","journal-title":"Proceedings of the 5th IFAC International Symposium on Intelligent Components and Instruments for Control Applications (SICICA 2003)"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2010.12.020"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034947"}],"event":{"name":"2013 1st International Conference of the Portuguese Society for Engineering Education (CISPEE)","start":{"date-parts":[[2013,10,31]]},"location":"Porto, Portugal","end":{"date-parts":[[2013,11,1]]}},"container-title":["2013 1st International Conference of the Portuguese Society for Engineering Education (CISPEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6693053\/6701950\/06701966.pdf?arnumber=6701966","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:51:16Z","timestamp":1498110676000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6701966\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cispee.2013.6701966","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}