{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:45:11Z","timestamp":1729619111935,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/healthcom.2015.7454482","type":"proceedings-article","created":{"date-parts":[[2016,5,4]],"date-time":"2016-05-04T20:10:33Z","timestamp":1462392633000},"page":"108-113","source":"Crossref","is-referenced-by-count":5,"title":["Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM"],"prefix":"10.1109","author":[{"given":"Usman","family":"Pervez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Asiah","family":"Mahmood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khalid","family":"Latif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amjad","family":"Gawanmeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"416","DOI":"10.5858\/2002-126-0416-OPSARF","article-title":"Outpatient phlebotomy success and reasons for specimen rejection","volume":"126","author":"dale","year":"2002","journal-title":"Archives of Pathology & Laboratory Medicine"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11548-013-0919-2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RBME.2012.2184750"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC.2013.6488581"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6081983"},{"key":"ref15","first-page":"673","article-title":"ETMCC: Model Checking performability properties of Markov Chains","author":"meyer-kayser","year":"2003","journal-title":"Dependable Systems and Networks"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"7162","DOI":"10.4018\/978-1-4666-5888-2.ch705","article-title":"Formal verification methods","author":"hasan","year":"2015","journal-title":"Encyclopedia of Information Science and Technology IGI global"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3343\/alm.2012.32.1.5"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92219-3_34"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0377-2217(89)90348-2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368183"},{"key":"ref4","article-title":"Middleware for Medical Device Interoperability using Ontology-based Description and Mapping","author":"mahmood","year":"2015","journal-title":"Technical Report National University of Sciences and Technology"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/HealthCom.2014.7001811"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HealthCom.2014.7001813"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_43"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-011-9739-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32355-3_4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05290-3_50"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/BHI.2014.6864444"},{"journal-title":"Networked health information system for monitoring food intake","year":"2003","author":"brown","key":"ref9"},{"key":"ref1","first-page":"141","article-title":"An Empirical Transition Matrix for Non-Homogeneous Markov Chains based on Censored Observations","volume":"5","author":"aalen","year":"1978","journal-title":"Scandinavian Journal of Statistics"},{"key":"ref20","first-page":"243","article-title":"A Markov reward Model Checker","author":"khattri","year":"2005","journal-title":"Quantitative Evaluation of Systems"},{"key":"ref22","first-page":"251","article-title":"Vesta: A statistical Model-Checker and analyzer for probabilistic systems","author":"viswanathan","year":"2005","journal-title":"Quantitative Evaluation of Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.113"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_11"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref26","first-page":"41","article-title":"Formal Model for e-Healthcare Readiness Assessment in Developing Country Context","author":"oio","year":"2007","journal-title":"Innovations in Information Technology"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1147\/rd.62.0200"}],"event":{"name":"2015 17th International Conference on E-health Networking, Application & Services (HealthCom)","start":{"date-parts":[[2015,10,14]]},"location":"Boston, MA, USA","end":{"date-parts":[[2015,10,17]]}},"container-title":["2015 17th International Conference on E-health Networking, Application & Services (HealthCom)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7449553\/7454459\/07454482.pdf?arnumber=7454482","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,19]],"date-time":"2022-06-19T21:51:08Z","timestamp":1655675468000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7454482\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/healthcom.2015.7454482","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}