Credible autocoding and model-based control design and validation - Eric Feron Download Tags: 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 License: CC-2.5 Submitted by Eric Feron on Thu, 10/17/2013 - 16:19