Sign in

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

Xiaohong ChenLing YinYijun YuZhi Jin
Published in: ICFEM (2017)
Keyphrases
  • cyber physical systems
  • cyber physical
  • physical world
  • data mining
  • social networks
  • artificial intelligence
  • association rules
  • data management