Assurance-Directed Design of Cyber-Physical Systems

  • assurance
  • certification
  • formal verification
  • integration
  • tool
  • CPS Domains
  • Transportation
  • Automotive
  • CPS Technologies
  • Design Automation Tools
  • Foundations
  • Validation and Verification
  • Certification
  • 2014
  • 2014 National Workshop on Transportation CPS
  • Publications
  • Position Paper
  • Industry
  • CFP Submissions
  • CFP Paper Submissions
Submitted by Natarajan Shankar on