Login / Signup
Hierarchy Modeling and Formal Verification of Emergency Treatment Processes.
Faming Lu
Qingtian Zeng
Yunxia Bao
Hua Duan
Published in:
IEEE Trans. Syst. Man Cybern. Syst. (2014)
Keyphrases
</>
formal verification
model checking
symbolic model checking
bounded model checking
model checker
process model
medical care
automated verification
hierarchical structure
dynamic aspects
functional verification