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

Project Details

Project Title (In Chinese)


Fund Amount (RMB)

Project CategoryNational Natural Science Foundation of China (NSFC): Young Scientists Fund
Effective start/end date1/01/1231/12/14


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.