Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2013 CPS Principal Investigators' Meeting
Home
Program Agenda
Posters & Abstracts
Videos
Attendees
Invitees
Files
CPS-VO
»
NSF CPS PI Meetings
»
2013 CPS Principal Investigators' Meeting
Credible Autocoding and Verification of Embedded Software (CrAVES)
View
Submitted by feron on Wed, 10/30/2013 - 2:07pm
Video:
Contributor(s):
Eric Feron
Sponsor(s):
National Science Foundation
Georgia Institute of Technology
PDF version
Printer-friendly version
CPS Domains
Aerospace
Embedded Software
Defense
Control
Validation and Verification
CPS Technologies
Foundations
Academia
Credible Autocoding and Verification of Embedded Software (CrAVES)