Model-based System-Level Testing for Distributed Transportation CPS Download pdf Tags: automata computing Software CPS Domains Communication Transportation Automotive CPS Technologies Systems Engineering 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 Ratnesh Kumar on Thu, 02/20/2014 - 10:06