Login / Signup

Modeling and checking for Cyber-Physical System based on hybrid interface automata.

Yan ZhangJin ShiTian ZhangXiangwei LiuZhuzhong Qian
Published in: Pervasive Mob. Comput. (2015)
Keyphrases
  • user interface
  • cyber physical systems
  • intelligent systems
  • activity recognition
  • information technology
  • decision makers