Session IV: Model-Based Design, Verification and Validation - Breakout Session I: Testing and Verification Download pdf Tags: challenges model based design CPS Domains Transportation Automotive Avionics CPS Technologies Foundations Modeling Validation and Verification Testing 2014 2014 National Workshop on Transportation CPS Academia Industry Breakout Session 1 Breakout Session 1 License: CC-2.5 Submitted by Ken Butts on Wed, 01/29/2014 - 15:40