Transforming Timing Requirements into CCSL Constraints to Verify Cyber-Physical Systems.

Xiaohong Chen Ling Yin Yijun Yu Zhi Jin

Published in: ICFEM (2017)

Keyphrases

cyber physical systems
cyber physical
physical world
data mining
social networks
artificial intelligence
association rules
data management