Credible Autocoding and Verification of Embedded Software (CrAVES)

  • Georgia Institute of Technology
  • NASA Ames Research Center
  • CPS Domains
  • Health Care
  • Medical Devices
  • Transportation
  • Automotive
  • Avionics
  • CPS Technologies
  • Embedded Software
  • Systems Engineering
  • Foundations
  • Concurrency and Timing
  • Control
  • Networked Control
  • Modeling
  • 2012
  • National CPS PI Meeting 2012
  • Presentation
  • Academia
  • Session 2: Technology for CPS
Submitted by Eric Feron on