{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:57:09Z","timestamp":1730343429172,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,1]]},"DOI":"10.23919\/elinfocom.2019.8706383","type":"proceedings-article","created":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:44:21Z","timestamp":1558377861000},"page":"1-3","source":"Crossref","is-referenced-by-count":4,"title":["Self-Adaptive System Verification based on SysML"],"prefix":"10.23919","author":[{"given":"Seung-Min","family":"Lee","sequence":"first","affiliation":[]},{"given":"Soojin","family":"Park","sequence":"additional","affiliation":[]},{"given":"Young B.","family":"Park","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2897829.2897834"},{"key":"ref3","first-page":"987","article-title":"An Implementation of a Dynamic Module Changing Framework of a Self-adaptive System for Smart Home with Changing Environment","volume":"21 3","author":"ahn","year":"2018","journal-title":"International Information Institute (Tokyo) Information"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988018"},{"key":"ref6","first-page":"56","article-title":"A MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram","volume":"10 1","author":"chuanlin","year":"2015","journal-title":"JSW"},{"key":"ref5","first-page":"57","article-title":"Model-Driven User Requirements Specification using SysML","volume":"3 6","author":"dos santos soares","year":"2008","journal-title":"JSW"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2014.6945504"},{"key":"ref7","article-title":"An MDE-based approach to the verification of SysML state machine diagram","author":"xiaopu","year":"2012","journal-title":"Proceedings of the Fourth Asia-Pacific Symposium on Internetware ACM"},{"key":"ref2","first-page":"2840","article-title":"A development framework and methodology for self-adapting applications in ubiquitous computing environments","volume":"85 12","author":"svein","year":"2012","journal-title":"Journal of Systems and Software"},{"key":"ref9","article-title":"Towards Requirements Engineering Process for Self-adaptive Embedded Systems","author":"mecibah","year":"2018","journal-title":"Computer Science On-line Conference"},{"key":"ref1","first-page":"46","article-title":"Rainbow: Architecture-based self-adaptation with reusable infrastructure","volume":"37 10","author":"david","year":"2004","journal-title":"Computer"}],"event":{"name":"2019 International Conference on Electronics, Information, and Communication (ICEIC)","start":{"date-parts":[[2019,1,22]]},"location":"Auckland, New Zealand","end":{"date-parts":[[2019,1,25]]}},"container-title":["2019 International Conference on Electronics, Information, and Communication (ICEIC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8698536\/8706336\/08706383.pdf?arnumber=8706383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T01:09:31Z","timestamp":1598231371000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8706383\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1]]},"references-count":10,"URL":"https:\/\/doi.org\/10.23919\/elinfocom.2019.8706383","relation":{},"subject":[],"published":{"date-parts":[[2019,1]]}}}