Virtual Prototyping Testbed for CPS - Janos Sztipanovits Download Vanderbilt CPS Technologies Architectures Design Automation Tools Platforms Foundations Modeling Multi-models Model Integration Semantics Simulation Validation and Verification Testing 2013 National CPS PI Meeting 2013 Presentation Academia Candidate Testbeds Submitted by Janos Sztipanovits on Thu, 10/17/2013 - 14:30