Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2011 CPS PI Meeting
Home
Program Agenda
Posters & Abstracts
Organizers
Files
CPS-VO
»
NSF CPS PI Meetings
»
2011 CPS PI Meeting
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 viewer
Switch to experimental viewer
PDF document
2.69 MB
223 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