Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation
2011 CPS PI Meeting
  • Home
  • Program Agenda
  • Posters & Abstracts
  • Organizers
  • Files
CPS-VO » NSF CPS PI Meetings » 2011 CPS PI Meeting

Visible to the public An Architecture Approach to Heterogeneous Verification of CPS

  • View
  • Properties
Submitted by krogh on Thu, 11/03/2011 - 1:36pm. Contributors:
  • Bruce H. Krogh
  • David Garlan
  • André Platzer
  • Prashant Ramachandra
License: 
Creative Commons 2.5

Other available formats:

An Architecture Approach to Heterogeneous Verification of CPS
Switch to normal viewerSwitch to experimental viewer
  • PDF document
  • 2.69 MB
  • 224 downloads
  • Download
  • PDF version
  • Printer-friendly version
  • Architectures
  • CPS Domains
  • Validation and Verification
  • CPS Technologies
  • Foundations
  • Carnegie Mellon University
  • Toyota
  • National CPS PI Meeting 2011
  • Poster Session: Day 1
  • Academia
  • Poster

File references

This file is attached to:
  • CPS: Medium: GOALI: An Architecture Approach to Heterogeneous Verfication of Cyber-Physical Systems

Terms of Use  |  ©2023. CPS-VO