Submitted by Chris Myers 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.
