Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Taxonomic Search: david OR hardin, 2011, Ken Butts
2 results
Results
file
An Architectural Approach to Managing Heterogeneous Models for Automotive Control System Design
Submitted by
Katie Dey
on Fri, 02/25/2011 - 10:09am. Contributors:
Prashant Ramachandra
Ken Butts
David Garlan
Bruce H. Krogh
André Platzer
284.38 KB
0 views
115 downloads
Download
Automotive
Toyota
Carnegie Mellon University
Automotive CPS Workshop
Position Paper
Academia
Industry
2011 Automotive CPS Workshop
2011 Position Papers
Position Papers
Position Papers
Paper Submissions
file
GOALI: An Architecture Approach to Heterogeneous Verification of Cyber-Physical Systems
Submitted by
Katie Dey
on Thu, 11/03/2011 - 5:35pm. Contributors:
Bruce Krogh
David Garlan
Andre Platzer
Prashant Ramachandra
Ken Butts
Ajinkya Bhave
Derek Caveney
Sarah Loos
Ashkay Rajhans
Bradley Schmerl
11.34 KB
0 views
96 downloads
Download
National CPS PI Meeting 2011
Academia
Project Abstracts
Current search
[×]
david
OR
hardin
[×]
CPS Events
: 2011
[×]
Contributor(s)
: Ken Butts
Guided search
Click a term to refine your current search.
Group
2011 Automotive CPS Workshop
(1)
2011 CPS PI Meeting
(1)
Automotive
(1)
Automotive CPS Workshops
(1)
Topics
Automotive
(1)
Keywords
Carnegie Mellon University
(1)
Toyota
(1)
Content type
File
(2)
Document Type
Publications
(1)
CPS Events
:
all
» 2011
Automotive CPS Workshop
(1)
National CPS PI Meeting 2011
(1)
Contributor(s)
:
all
» Ken Butts
Document Source
Academia
(2)
Industry
(1)
Author
Katie Dey
(2)
Date authored
2011
(2)
Keyword search
Search within results
More options
284.38 KB
