Credible autocoding and model-based control design and validation - Eric Feron Download CPS Domains Communication Transportation Avionics CPS Technologies Design Automation Tools Systems Engineering Foundations Control Modeling Semantics Simulation Validation and Verification Certification 2013 National CPS PI Meeting 2013 Presentation Academia Session 3: CPS PI Talks Submitted by Eric Feron on Thu, 10/17/2013 - 16:19