GOALI: An Architecture Approach to Heterogeneous Verification of Cyber-Physical Systems

  • Architectures
  • CPS Domains
  • Validation and Verification
  • CPS Technologies
  • Foundations
  • National CPS PI Meeting 2011
  • Academia
  • Project Abstracts
Submitted by Bruce Krogh on