{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:38:04Z","timestamp":1729654684784,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1109\/blackseacom.2016.7901580","type":"proceedings-article","created":{"date-parts":[[2017,4,17]],"date-time":"2017-04-17T16:32:21Z","timestamp":1492446741000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Formal verification of connectivity management models in M2M communications"],"prefix":"10.1109","author":[{"given":"Anastas","family":"Nikolov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelina","family":"Pencheva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivaylo","family":"Atanasov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/iThings.2014.73"},{"key":"ref3","first-page":"402","article-title":"Seamless maintenance-Integration of FDI Device Management & CMMS","author":"schulz","year":"2013","journal-title":"Proc of IEEE Conference on Emerging Technologies and Factory Automation (ETFA)"},{"journal-title":"ETSI TS 102 690","article-title":"Machine-to-Machine communications (M2M); Functional architecture","year":"2011","key":"ref10"},{"article-title":"Lightweight M2M: Enabling Device Management and Applications for the Internet of Things","year":"2014","author":"klas","key":"ref6"},{"journal-title":"OMA-ETS-LightweightM2M-V1_0-20150203-C","article-title":"Enabler Test Specification for Lightweight M2M Candidate Version 1.0–03 Feb 2015","year":"0","key":"ref11"},{"key":"ref5","first-page":"1","article-title":"Device Connection Platform for M2M communications","author":"cackovic","year":"2012","journal-title":"IEEE International Conference on Software Telecommunications and Computer Networks (SoftCOM) 2012 pp 1–7 Software Telecommunications and Computer Networks (SoftCOM)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ChiCC.2014.6895589"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RIOT.2015.7104900"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"19582","DOI":"10.3390\/s141019582","article-title":"Towards Efficient Mobile M2M Communications: Survey and Open Challenges","volume":"14","author":"pereira","year":"2014","journal-title":"SENSORS"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"30","DOI":"10.5120\/21570-4607","article-title":"Software Defined Unified Device Management for Smart Environments","volume":"121","author":"tayur","year":"2015","journal-title":"International Journal of Computer Applications"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICoICT.2015.7231401"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2012.6384464"}],"event":{"name":"2016 IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom)","start":{"date-parts":[[2016,6,6]]},"location":"Varna, Bulgaria","end":{"date-parts":[[2016,6,9]]}},"container-title":["2016 IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7895354\/7901533\/07901580.pdf?arnumber=7901580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T10:57:06Z","timestamp":1498388226000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7901580\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/blackseacom.2016.7901580","relation":{},"subject":[],"published":{"date-parts":[[2016]]}}}