Automated Testing and Verification for Cyber-Physical Transportation Systems Download pdf Tags: Transportation Cyber-Physical Systems CPS Domains Transportation Automotive CPS Technologies Foundations Validation and Verification Testing 2014 2014 National Workshop on Transportation CPS Publications Position Paper Academia CFP Submissions CFP Paper Submissions License: CC-2.5 Submitted by Georgios Fainekos on Thu, 02/20/2014 - 10:06