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: ihong OR hou, Ping Hou, 2011
2 results
Results
file
Compositionality and Reconfiguration for Distributed Hybrid Systems
Submitted by
admin
on Sun, 07/31/2011 - 6:43pm. Contributors:
André Platzer
Edmund M. Clarke
Ping Hou
Sarah M. Loos
640.8 KB
0 views
89 downloads
Download
Validation and Verification
Carnegie Mellon University
National CPS PI Meeting 2011
Poster
Academia
Poster Session: Day 1
file
Compositionality and Reconfiguration for Distributed Hybrid Systems
Submitted by
Katie Dey
on Fri, 11/04/2011 - 2:08pm. Contributors:
Andre Platzer
Edmund M. Clarke
Ping Hou
Sarah M. Loos
15.69 KB
0 views
93 downloads
Download
Carnegie Mellon University
National CPS PI Meeting 2011
Academia
Project Abstracts
Current search
[×]
ihong
OR
hou
[×]
Contributor(s)
: Ping Hou
[×]
Date authored
: 2011
Guided search
Click a term to refine your current search.
Group
2011 CPS PI Meeting
(2)
Topics
Validation and Verification
(1)
Keywords
Carnegie Mellon University
(2)
Content type
File
(2)
Document Type
Poster
(1)
CPS Events
2011
(2)
Contributor(s)
:
all
» Ping Hou
Document Source
Academia
(2)
Author
admin
(1)
Katie Dey
(1)
Date authored
:
all
» 2011
July, 2011
(1)
November, 2011
(1)
Keyword search
Search within results
More options
