Credible Autocoding and Verification of Embedded Software (CrAVES)
License:
Creative Commons 2.5 
PDF document- 997.3 KB
- 192 downloads
- Download
- PDF version
- Printer-friendly version
- CPS Domains
- Medical Devices
- Automotive
- Networked Control
- Avionics
- Embedded Software
- Concurrency and Timing
- Control
- Systems Engineering
- Modeling
- Health Care
- Transportation
- CPS Technologies
- Foundations
- Georgia Institute of Technology
- NASA Ames Research Center
- National CPS PI Meeting 2012
- 2012
- Session 2: Technology for CPS
- Academia
- Presentation