Assurance-Directed Design of Cyber-Physical Systems Download pdf Tags: assurance certification formal verification integration tool CPS Domains Transportation Automotive CPS Technologies Design Automation Tools Foundations Validation and Verification Certification 2014 2014 National Workshop on Transportation CPS Publications Position Paper Industry CFP Submissions CFP Paper Submissions License: CC-2.5 Submitted by Natarajan Shankar on Thu, 02/20/2014 - 10:07