Login / Signup

Research on Behavior Modeling and Property Verification for Cyber-Physical Systems.

Mingfu TuoCheng ZhouZhonghai YinXin ZhaoLei Wang
Published in: INCoS (2017)
Keyphrases
  • cyber physical systems
  • cyber physical
  • knowledge discovery
  • power consumption
  • physical world