Login / Signup
Formal reliability analysis of Device Interoperability Middleware (DIM) based E-health system using PRISM.
Usman Pervez
Asiah Mahmood
Osman Hasan
Khalid Latif
Amjad Gawanmeh
Published in:
HealthCom (2015)
Keyphrases
</>
reliability analysis
smart spaces
web services
home network
distributed systems
infrared
metadata
seamless integration
semantic web
semantic interoperability
fault tree
information systems
knowledge base
user interface
formal specification