Session IV: Model-Based Design, Verification and Validation - Breakout Session III: Formal Methods Download pdf Tags: challenges formal method model-based design research solutions Transportation CPS Domains Transportation Automotive CPS Technologies Foundations Validation and Verification 2014 2014 National Workshop on Transportation CPS Academia Industry Breakout Session 3 Breakout Session 3 License: CC-2.5 Submitted by Thomas Fuhrman on Wed, 01/29/2014 - 15:42