Methods and Tools for Verification of Cyber-Physical Systems

Submitted by Chris Myers on Fri, 11/04/2011 - 12:44
  • 0930510
  • Concurrency and Timing
  • Validation and Verification
  • Education
  • Foundations
  • 0930225
  • University of South Florida
  • University of Utah
  • National CPS PI Meeting 2011
  • Academia
  • Project Abstracts