Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM.

Usman Pervez, Osman Hasan, Khalid Latif, Sofine Tahar, Amjad Gawanmeh, Mohamed Salah Hamdi

Browse the full HealthCom paper archive.