Modeling and Verification of Hospital Intelligent Diagnosis and Treatment Service Based on Timed Automata in Internet of Things.
Lei YuYubo YanYang LuBenhong ZhangYa LiFangliang HuangYulian ShenPublished in: BigCom (2020)
Keyphrases
- timed automata
- model checking
- medical doctors
- clinically relevant
- temporal logic
- web services
- model based diagnosis
- reachability analysis
- medical diagnosis
- medical practice
- colored petri nets
- clinical decision support systems
- service oriented
- intelligent systems
- decision support
- theorem proving
- ambient intelligence
- mobile devices