Safery-Assured Autonomy Technologies for Future Air Transportation Download pdf Tags: air transportation Transportation Cyber-Physical Systems CPS Domains Defense Aerospace Transportation Avionics CPS Technologies Embedded Software Systems Engineering Foundations Control Modeling Real-Time Coordination Resilient Systems Simulation Validation and Verification Certification 2014 2014 National Workshop on Transportation CPS Publications Position Paper CFP Submissions CFP Paper Submissions License: CC-2.5 Submitted by cmbelcastro on Thu, 02/20/2014 - 10:06