Methods and Tools for Verification of Cyber-Physical Systems - Poster

  • 0930510
  • Automotive
  • Concurrency and Timing
  • Platforms
  • Modeling
  • Systems Engineering
  • Wireless Sensing and Actuation
  • Validation and Verification
  • Foundations
  • 0930225
  • National CPS PI Meeting 2012
  • 2012
  • Poster
  • Academia
  • CPS PI MTG 12 Posters & Abstracts
Submitted by Chris Myers on Tue, 09/04/2012 - 12:48