Skip to main navigation
Skip to search
Skip to main content
Xi'an Jiaotong-Liverpool University Home
Home
Profiles
Research units
Research output
Projects
Activities
Search by expertise, name or affiliation
A Rigorous Approach for Speci cation and Veri cation of Cyber Physical Systems
Wan, Kaiyu
(PI)
School of Advanced Technology
Project
:
Internal Research Project
Overview
Project Details
Fund Amount (RMB)
50000.00
Project Category
RDF-A
Status
Not started
View all
View less