Robustness Guided Testing and Verification for Cyber-Physical Systems

Submitted by Georgios Fainekos on
  • Arizona State University
  • model based design
  • Semi-formal methods
  • CPS Domains
  • Health Care
  • Medical Devices
  • Transportation
  • Automotive
  • CPS Technologies
  • Platforms
  • Education
  • Foundations
  • Modeling
  • Validation and Verification
  • Testing
  • 2014
  • National CPS PI Meeting 2014
  • Academia