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

Lei Bu Dingbao Xie Xin Chen Linzhang Wang Xuandong Li

Published in: ICCPS (2012)

Keyphrases

cyber physical systems
cyber physical
real time
data mining
information technology
data collection