Methods and Tools for the Verification of Cyber-Physical Systems

  • 0930510
  • Concurrency and Timing
  • Validation and Verification
  • Education
  • Foundations
  • 0930225
  • University of South Florida
  • University of Utah
  • National CPS PI Meeting 2011
  • Poster
  • Academia
  • Poster Session: Day 1
Submitted by Anonymous on