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

Project Details

Project Title (In Chinese)


Fund Amount (RMB)

Project CategoryJiangsu Science and Technology Programme: Fundamental Research Plan (Natural Science Foundation) - General Programme
Effective start/end date1/06/1131/05/13


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.