{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:37:07Z","timestamp":1729654627970,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ecbs.2004.1316706","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"248-254","source":"Crossref","is-referenced-by-count":0,"title":["Simulation approach to embedded system programming and testing"],"prefix":"10.1109","author":[{"given":"P.","family":"Grillinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Brada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Racek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"TTP\/C Protocol - Specification of the Protocol","year":"1999","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/2.962986"},{"journal-title":"Modeling Verification and Exploration of Task-level Modeling Verification and Exploration of Task-level Concurrency in Real-time Embedded Systems","year":"1999","author":"thoen","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.1998.666765"},{"key":"16","article-title":"Brake by wire status report","author":"lo?nn","year":"2001","journal-title":"Technical Report"},{"journal-title":"Logic Design and Simulation","year":"1986","author":"hoerbbst","key":"13"},{"journal-title":"J-sim Homepage","year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1028956"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/S0928-4869(00)00009-4"},{"key":"3","article-title":"FIT project deliverable 5.1 - 5.5: Combined report","volume":"ist 1999 10748","year":"2002","journal-title":"Technical Report"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55092-5"},{"key":"2","first-page":"128","article-title":"A spiral model of software development and enhancement","author":"boehm","year":"1987","journal-title":"Software Engineering Project Management"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/OLT.2002.1030178"},{"key":"10","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/3-540-36080-8_23","article-title":"Model-based dependability evaluation method for TTP\/C applications","volume":"2485","author":"herout","year":"2002","journal-title":"Proceedings of Fourth European Dependable Computing Conference (EDCC-4)"},{"year":"0","author":"homepage","key":"7"},{"journal-title":"FIT Project Homepage","year":"0","key":"6"},{"journal-title":"C-sim Homepage","year":"0","key":"5"},{"journal-title":"Unified Methods for Vlsi Simulation and Test Generation","year":"1989","author":"cheng","key":"4"},{"journal-title":"Modeling Reactive Systems with Statecharts The STATEMATE Approach","year":"1998","author":"harel","key":"9"},{"key":"8","first-page":"257","article-title":"Transient faults robustness evaluation of safety critical system using simulation","author":"grillinger","year":"2002","journal-title":"Proceedings of Baltic Electronic Conference (BEC)"}],"event":{"name":"Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004.","location":"Brno, Czech Republic"},"container-title":["Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9203\/29178\/01316706.pdf?arnumber=1316706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:52:52Z","timestamp":1497599572000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1316706\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/ecbs.2004.1316706","relation":{},"subject":[]}}