Methods and Tools for the Verification of Cyber-Physical Systems

  • 0930510
  • Modeling
  • Validation and Verification
  • Foundations
  • 0930225
Submitted by Chris Myers on