Formalisms for Cyber-Physical Systems in Transportation

  • CPS Technologies
  • Avionics
  • Automotive
  • Transportation
  • CPS Domains
  • CFP Paper Submissions
  • CFP Submissions
  • Academia
  • middleware
  • formal methods
  • Position Paper
  • Publications
  • 2014 National Workshop on Transportation CPS
  • 2014
  • Modeling
  • Concurrency and Timing
  • Foundations
  • Wireless Sensing and Actuation
  • Embedded Software
Submitted by Gul Agha on Thu, 02/20/2014 - 15:07