Login / Signup

Hierarchy Modeling and Formal Verification of Emergency Treatment Processes.

Faming LuQingtian ZengYunxia BaoHua 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