Investigation on context-based formal architecture and analysis for Cyber Physical system

  • Wan, Kaiyu (PI)
  • Ma, Jieming (Team member)
  • Sami, Mubarak (Team member)
  • Alagar, Vangalur (Team member)
  • 王挺 (Team member)
  • 杨晓博 (Team member)
  • 李美桦 (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