Search Projects: 0930510

1 result

Results

project

Visible to the public Methods and Tools for the Verification of Cyber-Physical Systems

Submitted by haozheng on Thu, 04/07/2011 - 6:24pm

CPS:Small:Collaborative Research: Methods and Tools for the Verification of Cyber-Physical Systems The objective of this research is to investigate and develop methods and tools for the analysis and verification of cyber-physical systems.