Credible Autocoding and Verification of Embedded Software (CrAVES) Download pdf Tags: 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 License: CC-2.5 Submitted by Eric Feron on Tue, 12/11/2012 - 14:33