{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:00:30Z","timestamp":1725537630258},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.23919\/fruct.2012.8122090","type":"proceedings-article","created":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T22:02:27Z","timestamp":1512079347000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Obtaining an SDL entity identifier using SDL\/SystemC co-modeling"],"prefix":"10.23919","author":[{"given":"Pavel","family":"Morozkin","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Efficient Protocol Design Flow for Embedded Systems","year":"2009","author":"dietterle","key":"ref10"},{"journal-title":"Chapter 62 The Master Library","article-title":"Telelogic Tau 4.5 Users Manual","year":"2003","key":"ref11"},{"journal-title":"Chapter 58 The Cadvanced\/Cbasic SDL to C Compiler","article-title":"Telelogic Tau 4.5 Users Manual","year":"2003","key":"ref12"},{"key":"ref13","article-title":"Possibility of SystemC code generation from SDL specification","author":"morozkin","year":"2012","journal-title":"Proceedings of 15th Seminar of Finnish-Russian University Cooperation in Telecommunications (FRUCT) Program"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-30864-4"},{"journal-title":"Using Formal Description Techniques An Introduction to Estelle Lotos and SDL","year":"1993","author":"turner","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4018\/jertcs.2011010102"},{"journal-title":"System Design with SystemC","year":"2002","author":"gr\u00f6tker","key":"ref5"},{"journal-title":"MIPI Alliance","year":"0","key":"ref8"},{"key":"ref7","article-title":"Hardware\/software co-simulation for conformance testing of embedded networks","author":"gillet","year":"2011","journal-title":"Finnish-Russian University Cooperation Program in Telecommunications (FRUCT) seminar Tampere"},{"key":"ref2","article-title":"Specification and Description Language (SDL)","author":"recommendation","year":"2002","journal-title":"International Telecommunication Union"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/0470841966"},{"journal-title":"SpaceWire-RT project","year":"0","key":"ref9"}],"event":{"name":"2012 12th Conference of Open Innovations Association (FRUCT) and Seminar on e-Travel","start":{"date-parts":[[2012,11,5]]},"location":"Oulu","end":{"date-parts":[[2012,11,9]]}},"container-title":["2012 12th Conference of Open Innovations Association (FRUCT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8114612\/8122076\/08122090.pdf?arnumber=8122090","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T22:48:18Z","timestamp":1515451698000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8122090\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":13,"URL":"https:\/\/doi.org\/10.23919\/fruct.2012.8122090","relation":{},"subject":[],"published":{"date-parts":[[2012,11]]}}}