{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:32:14Z","timestamp":1729665134840,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/healthcom.2014.7001813","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T15:14:46Z","timestamp":1421162086000},"page":"55-60","source":"Crossref","is-referenced-by-count":11,"title":["Formalizing electrocardiogram (ECG) signal behavior in event-B"],"prefix":"10.1109","author":[{"given":"Hussam","family":"Al-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":[{"key":"15","article-title":"Introduction to ECG interpretation, v8.0","author":"yanowitz","year":"2012","journal-title":"Intermountain Healthcare"},{"key":"16","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":"13","first-page":"100","article-title":"Theorem proving verification of privacy in wbsn for healthcare systems","author":"al-hamadi","year":"2013","journal-title":"Int Conf on Electronics Circuits and Systems"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/BHI.2014.6864444"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2011.260"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2008.62"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1542-474X.2009.00328.x"},{"journal-title":"A Practical Guide to ECG Interpretation","year":"1998","author":"grauer","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480302"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32355-3_1"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84882-736-3"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.283"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.113"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39088-3_10"}],"event":{"name":"2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom 2014)","start":{"date-parts":[[2014,10,15]]},"location":"Natal","end":{"date-parts":[[2014,10,18]]}},"container-title":["2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6992842\/7001800\/07001813.pdf?arnumber=7001813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T23:34:52Z","timestamp":1498174492000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7001813\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/healthcom.2014.7001813","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}