An Architecture Approach to Heterogeneous Verification of CPS Download pdf Tags: Carnegie Mellon University Toyota Architectures CPS Domains Validation and Verification CPS Technologies Foundations National CPS PI Meeting 2011 Poster Academia Poster Session: Day 1 License: CC-2.5 Submitted by Bruce Krogh on Thu, 11/03/2011 - 12:36