Login / Signup

Verification of Hybrid Chi Model for Cyber-physical Systems Using PHAVer.

Xinyu CongHuiqun YuXin Xu
Published in: IMIS (2013)
Keyphrases
  • data mining
  • artificial intelligence
  • association rules
  • high speed