[IEEE 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom 2014) - Natal (2014.10.15-2014.10.18)] 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom) - Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM
Pervez, Usman, Hasan, Osman, Latif, Khalid, Tahar, Sofiene, Gawanmeh, Amjad, Hamdi, Mohamed SalahYear:
2014
Language:
english
DOI:
10.1109/healthcom.2014.7001811
File:
PDF, 211 KB
english, 2014