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: Robert Thacker
1 result
Results
file
Methods and Tools for the Verification of Cyber-Physical Systems
Submitted by
admin
on Mon, 08/01/2011 - 10:04am. Contributors:
Chris Myers
Kevin Jones
Robert Thacker
Jian Wu
Zhen Zhang
Hao Zheng
Nicholas Donataccio
Larry Moore
Emmanuel Rodriguez
Haiqiong Yao
Yingying Zhang
264.8 KB
0 views
128 downloads
Download
Validation and Verification
University of Utah
University of South Florida
National CPS PI Meeting 2011
Poster
Academia
Poster Session: Day 1
Current search
[×]
Contributor(s)
: Robert Thacker
Guided search
Click a term to refine your current search.
Group
2011 CPS PI Meeting
(1)
Topics
Validation and Verification
(1)
Keywords
University of South Florida
(1)
University of Utah
(1)
Content type
File
(1)
Document Type
Poster
(1)
CPS Events
2011
(1)
Contributor(s)
:
all
» Robert Thacker
Document Source
Academia
(1)
Author
admin
(1)
Date authored
2011
(1)
Keyword search
Search within results
More options
