An Architecture Approach to Heterogeneous Verification of CPS

  • Carnegie Mellon University
  • Toyota
  • Architectures
  • CPS Domains
  • Validation and Verification
  • CPS Technologies
  • Foundations
  • National CPS PI Meeting 2011
  • Poster
  • Academia
  • Poster Session: Day 1
Submitted by Bruce Krogh on