Cong Xinyu

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Cyber-physical systems (CPSs) are integrations of computation with physical processes. CPSs are widely applied in areas such as health care, traffic control, smart home, etc. Modeling and verification of CPSs is inevitable in these areas and of the greatest challenges in CPS research. Many research reports have pointed out that developing a suitable(More)
  • 1