{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:26:15Z","timestamp":1729621575340,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/edocw.2016.7584384","type":"proceedings-article","created":{"date-parts":[[2016,10,10]],"date-time":"2016-10-10T16:36:28Z","timestamp":1476117388000},"page":"1-8","source":"Crossref","is-referenced-by-count":9,"title":["SAVE: An Environment for Visual Specification and Verification of IoT"],"prefix":"10.1109","author":[{"given":"Yeongbok","family":"Choe","sequence":"first","affiliation":[]},{"given":"Sunghyeon","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Moonkun","family":"Lee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"140","article-title":"Mobile ambients","author":"luca","year":"1998","journal-title":"Foundations of Software Science and Computation Structures"},{"key":"ref11","article-title":"? -Calculus: Process Algebra to Model Secure Movements of Distributed Mobile Processes in Real-Time Business Application","author":"choe","year":"2015","journal-title":"23rd European Conference in Information Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45705-4_19"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF03345926"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1025"},{"journal-title":"Temporal Logic for Real-Time Systems","year":"1989","author":"ostroff","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45500-0_1"},{"key":"ref17","first-page":"201","article-title":"A Dual Method to Model IoT Systems","volume":"10","author":"lee","year":"2016","journal-title":"Mathematical Models and Methods in Applied Sciences"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2015.249"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref3","first-page":"26","author":"kefalakis","year":"2015","journal-title":"A Visual Paradigm for IoT Solutions Development Interoperability and Open-Source Solutions for the Internet of Things Volume 9001 of the series Lecture Notes in Computer Science"},{"key":"ref6","article-title":"GCSR: A Graphical Language With Algebraic Semantics for Specification of Real-Time Systems","author":"ben-abdallah","year":"1995","journal-title":"University of Pennsylvania Department of Computer and Information Science Tech Rep MS-CIS"},{"key":"ref5","article-title":"Computing SyncCharts Reactions","volume":"88","author":"andre","year":"2003","journal-title":"Electronic Notes in Theoretical Computer Science"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/eCHALLENGES.2015.7440971"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.879808"},{"key":"ref1","article-title":"Systems Computing Challenges in the Internet of Things","author":"alur","year":"2015","journal-title":"A white paper prepared for the Computing Community Consortium"},{"journal-title":"Communicating and mobile systems The pi calculus","year":"1999","author":"milner","key":"ref9"}],"event":{"name":"2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)","start":{"date-parts":[[2016,9,5]]},"location":"Vienna, Austria","end":{"date-parts":[[2016,9,9]]}},"container-title":["2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7578984\/7579435\/07584384.pdf?arnumber=7584384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,11,2]],"date-time":"2016-11-02T03:03:22Z","timestamp":1478055802000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7584384\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/edocw.2016.7584384","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}