{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:48:05Z","timestamp":1730220485530,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1109\/etfa46521.2020.9212134","type":"proceedings-article","created":{"date-parts":[[2020,10,5]],"date-time":"2020-10-05T17:37:37Z","timestamp":1601919457000},"page":"1177-1180","source":"Crossref","is-referenced-by-count":5,"title":["Verification of Symbolic Distributed Protocols for Networked Embedded Devices"],"prefix":"10.1109","author":[{"given":"Andrea","family":"Augello","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosolino","family":"D'Antoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvatore","family":"Gaglio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe Lo","family":"Re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gloria","family":"Martorella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Peri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/958503.958506"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SENSORCOMM.2007.4394970"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/AFRCON.2011.6072072"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1298197.1298203"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICIEA.2008.4582757"},{"key":"ref15","article-title":"Comparison of routing protocols in WSN using netsim simulator: LEACH vs LEACH-C","volume":"106","author":"nayak","year":"2014","journal-title":"International Journal of Computer Applications"},{"article-title":"Testing wireless sensor networks with hybrid simulators","year":"2016","author":"saginbekov","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3105923"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2840534"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.05.510"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2009.5198657"},{"key":"ref3","first-page":"19","article-title":"A comprehensive review of simulation tools for wireless sensor networks (WSNs)","volume":"5","author":"nayyar","year":"2015","journal-title":"Journal of Wireless Networking and Communications"},{"key":"ref6","first-page":"13031306","article-title":"Evaluation of wireless sensor network simulators","author":"jevtic","year":"2009","journal-title":"Proceedings of the ?7th telecommunications forum (TELFOR 2009)"},{"key":"ref5","first-page":"23","article-title":"Survey of simulators for wireless sensor networks","volume":"5","author":"musznicki","year":"2012","journal-title":"International Journal of Grid and Distributed Computing"},{"article-title":"Considering the environment’s characteristics in wireless networks simulations and emulations: Case of popular simulators and WSN","year":"0","author":"el-mouaffak","key":"ref8"},{"key":"ref7","first-page":"249","article-title":"Wireless sensor network simulators a survey and comparisons","volume":"2","author":"sundani","year":"2011","journal-title":"The International Journal on Computer Networks"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ITSIM.2010.5561571"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/346855.346870"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2007.33"}],"event":{"name":"2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2020,9,8]]},"location":"Vienna, Austria","end":{"date-parts":[[2020,9,11]]}},"container-title":["2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9210104\/9211869\/09212134.pdf?arnumber=9212134","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T11:44:28Z","timestamp":1656330268000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9212134\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/etfa46521.2020.9212134","relation":{},"subject":[],"published":{"date-parts":[[2020,9]]}}}