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