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
› 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
Search Projects: NSF CPS Project, Foundations, , 0930225
1 result
Results
project
CPS: Small: Collaborative Research: Methods and Tools for the Verification of Cyber-Physical Systems
Submitted by Chris Myers on Thu, 04/07/2011 - 6:24pm
Project Details
Institution(s):
University of Utah
Sponsor Award URL:
http://www.nsf.gov/awardsearch/showAward?AWD_ID=0930225&HistoricalAwards=false
Modeling
Validation and Verification
Foundations
Current search
[×]
Content type
: NSF CPS Project
[×]
Topics
: Foundations
[×]
Principal Investigator (PI) Name
:
[×]
Award Number
: 0930225
Guided search
Click a term to refine your current search.
Content type
:
all
» NSF CPS Project
Topics
:
all
» Foundations
Modeling
(1)
Validation and Verification
(1)
Principal Investigator (PI) Name
:
all
»
Award Number
:
all
» 0930225
Date authored
2011
(1)
Keyword search
Search within results
More options
