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, File, Ajinkya Bhave
1 result
Results
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
97 downloads
Download
National CPS PI Meeting 2011
Academia
Project Abstracts
Current search
[×]
david
OR
hardin
[×]
Content type
: File
[×]
Contributor(s)
: Ajinkya Bhave
Guided search
Click a term to refine your current search.
Group
2011 CPS PI Meeting
(1)
Content type
:
all
» File
CPS Events
2011
(1)
Contributor(s)
:
all
» Ajinkya Bhave
Document Source
Academia
(1)
Author
Katie Dey
(1)
Date authored
2011
(1)
Keyword search
Search within results
More options
