{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T07:59:59Z","timestamp":1725695999115},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/iintec.2018.8695299","type":"proceedings-article","created":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T23:52:56Z","timestamp":1556236376000},"page":"171-176","source":"Crossref","is-referenced-by-count":2,"title":["Quality Assurance for Component-based Systems in Embedded Environments"],"prefix":"10.1109","author":[{"given":"Wenbin","family":"Li","sequence":"first","affiliation":[]},{"given":"Franck","family":"Le Gall","sequence":"additional","affiliation":[]},{"given":"Panagiotis","family":"Vlacheas","sequence":"additional","affiliation":[]},{"given":"Alexey","family":"Cheptsov","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"First design for Cross-layer Programming Security and Runtime monitoring","year":"0","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/11557654_48"},{"year":"0","key":"ref12","article-title":"Eclipse Formal Modeling Project"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(03)00249-4"},{"year":"2018","key":"ref14","article-title":"Eclipse Titan."},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_1"},{"journal-title":"Model-based testing essentials guide to the ISTQB certified model-based tester foundation level","year":"2016","author":"kramer","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71734-0_7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1411273.1411276"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2015.18"},{"journal-title":"Taylor & Francis","article-title":"Model-Based Design for Embedded Systems","year":"0","key":"ref2"},{"journal-title":"Capgemini World Quality Report","year":"2017","key":"ref1"},{"journal-title":"PHANToM","year":"0","key":"ref9"}],"event":{"name":"2018 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC)","start":{"date-parts":[[2018,12,20]]},"location":"Hamammet, Tunisia","end":{"date-parts":[[2018,12,21]]}},"container-title":["2018 International Conference on Internet of Things, Embedded Systems and Communications (IINTEC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8693705\/8695265\/08695299.pdf?arnumber=8695299","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T19:10:03Z","timestamp":1557774603000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8695299\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iintec.2018.8695299","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}