Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM.

Usman Pervez, Asiah Mahmood, Osman Hasan, Khalid Latif, Amjad Gawanmeh

Browse the full HealthCom paper archive.