Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2013 CPS Principal Investigators' Meeting
Home
Program Agenda
Posters & Abstracts
Videos
Attendees
Invitees
Files
CPS-VO
»
NSF CPS PI Meetings
»
2013 CPS Principal Investigators' Meeting
An Architectural Approach to Heterogeneous Modeling and Verification of CPS
View
Submitted by krogh on Wed, 10/30/2013 - 12:49pm
Video:
Contributor(s):
Bruce H. Krogh
Sponsor(s):
National Science Foundation
Carnegie Mellon University
PDF version
Printer-friendly version
CPS Domains
Architectures
Architectures
Hybrid Models
Design Automation Tools
Control
Modeling
Robotics
Validation and Verification
Academia
An Architectural Approach to Heterogeneous Modeling and Verification of CPS