A context-based formal framework for cyber physical systems

  • Wan, Kaiyu (PI)
  • Zhang, Yi (Team member)
  • Zhang, Sheng (Team member)
  • Lu, Shen (Team member)
  • Mohammad, Mubarak (Team member)
  • Alagar, Vangalur (Team member)

Project: Governmental Research Project

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.

Computer Science