{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:01:06Z","timestamp":1729620066980,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/sesena.2013.6612261","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T14:39:12Z","timestamp":1380638352000},"page":"24-29","source":"Crossref","is-referenced-by-count":2,"title":["Adding value to WSN simulation through formal modelling and analysis"],"prefix":"10.1109","author":[{"given":"Adisak","family":"Intana","sequence":"first","affiliation":[]},{"given":"Michael R.","family":"Poppleton","sequence":"additional","affiliation":[]},{"given":"Geoff V.","family":"Merrett","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88194-0_5"},{"key":"15","first-page":"619","article-title":"Formal methods : Theory becoming practice","volume":"13","author":"abrial","year":"2007","journal-title":"Journal of Universal Computer Science"},{"key":"16","first-page":"588","article-title":"An open extensible tool environment for event-b","author":"abrial","year":"2006","journal-title":"ICFEM"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/958492.958494"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2002.1019408"},{"key":"11","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-642-01341-6_9","article-title":"Deployment techniques for sensor networks","author":"beutel","year":"2010","journal-title":"Sensor Networks-Where Theory Meets Practice"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2008.28"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2010.5546247"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72952-5_8"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1023663.1023694"},{"key":"10","first-page":"140","article-title":"Time constraint patterns for event b development","author":"cansell","year":"2007","journal-title":"B"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92995-6_5"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2010.8654"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_29"},{"key":"4","first-page":"18","article-title":"Life, death, and the critical transition: Finding liveness bugs in systems code","author":"killian","year":"2007","journal-title":"Proceedings of the 4th USENIX Conference on Networked Systems Design and Implementation NSDI'07"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_30"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/SESENA.2012.6225760"}],"event":{"name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","start":{"date-parts":[[2013,5,21]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,21]]}},"container-title":["2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596205\/6612253\/06612261.pdf?arnumber=6612261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,27]],"date-time":"2019-07-27T21:41:11Z","timestamp":1564263671000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6612261\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/sesena.2013.6612261","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}