{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:42:46Z","timestamp":1729622566369,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/bhi.2014.6864444","type":"proceedings-article","created":{"date-parts":[[2014,7,30]],"date-time":"2014-07-30T21:09:32Z","timestamp":1406754572000},"page":"635-639","source":"Crossref","is-referenced-by-count":14,"title":["A verification methodology for a wireless body sensor network functionality"],"prefix":"10.1109","author":[{"given":"Hussam Al","family":"Hamadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amjad","family":"Gawanmeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahmoud","family":"Al-Qutayri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Ubiquitous Healthcare System Based on A Wireless Sensor Network","year":"2009","author":"chung","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ASPEC.2007.31"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2012.6418238"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2008.62"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOMW.2006.94"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39088-3_10"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2011.260"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480302"},{"key":"12","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BFb0031813","article-title":"PVS: Combining specification, proof checking, and model checking","author":"shankar","year":"1996","journal-title":"Formal Methods in Computer-Aided Design Ser Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.283"},{"key":"20","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: An open toolset for modelling and reasoning in Event-B","volume":"12","author":"abrial","year":"2010","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"1","article-title":"Use and characteristics of electronic health record systems among office-based physician practices","author":"chun-ju","year":"2012","journal-title":"NCHS Data Brief"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.113"},{"key":"7","first-page":"1","article-title":"EPF: An event-aided packet forwarding protocol for privacy-preserving mobile healthcare social networks","author":"chen","year":"2011","journal-title":"IEEE Global Telecommunications Conference"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TITB.2009.2037619"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-736-3"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/JCN.2011.6157409"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEng.2011.82"}],"event":{"name":"2014 IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI)","start":{"date-parts":[[2014,6,1]]},"location":"Valencia, Spain","end":{"date-parts":[[2014,6,4]]}},"container-title":["IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6853543\/6864286\/06864444.pdf?arnumber=6864444","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T17:36:56Z","timestamp":1498153016000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6864444\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/bhi.2014.6864444","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}