Sign in

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online.

Lei BuDingbao XieXin ChenLinzhang WangXuandong Li
Published in: ICCPS (2012)
Keyphrases
  • cyber physical systems
  • cyber physical
  • real time
  • data mining
  • information technology
  • data collection