GOALI: An Architecture Approach to Heterogeneous Verification of Cyber-Physical Systems Download pdf Tags: Architectures CPS Domains Validation and Verification CPS Technologies Foundations National CPS PI Meeting 2011 Academia Project Abstracts License: CC-2.5 Submitted by Bruce Krogh on Thu, 11/03/2011 - 16:35