Model Checking Transportation Software

  • model checking
  • Software
  • Transportation Cyber-Physical Systems
  • CPS Domains
  • Communication
  • Transportation
  • Automotive
  • CPS Technologies
  • Embedded Software
  • Foundations
  • Control
  • Modeling
  • Real-Time Coordination
  • Validation and Verification
  • Certification
  • 2014
  • 2014 National Workshop on Transportation CPS
  • Publications
  • Position Paper
  • Academia
  • CFP Submissions
  • CFP Paper Submissions
Submitted by Sagar Chaki on Thu, 02/20/2014 - 10:06