Model Checking Transportation Software Download pdf Tags: model checking Software Transportation Cyber-Physical Systems CPS Domains Communication Transportation Automotive CPS Technologies Embedded Software Foundations Control Modeling Real-Time Coordination Validation and Verification Certification 2014 2014 National Workshop on Transportation CPS Publications Position Paper Academia CFP Submissions CFP Paper Submissions License: CC-2.5 Submitted by Sagar Chaki on Thu, 02/20/2014 - 10:06