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: Yingying Zhang
2 results
Results
file
Methods and Tools for Verification of Cyber-Physical Systems
Submitted by
haozheng
on Fri, 10/05/2012 - 11:52am. Contributors:
Hao Zheng
Chris Myers
Jian Wu
Zhen Zhang
Hao Zheng
Yingying Zhang
Ping Hou
ABSTRACT
282 bytes
0 views
4 downloads
Download
National CPS PI Meeting 2012
Poster
Academia
CPS PI MTG 12 Posters
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
129 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)
: Yingying Zhang
Guided search
Click a term to refine your current search.
Group
2011 CPS PI Meeting
(1)
2012 CPS PI Meeting
(1)
Topics
Validation and Verification
(1)
Keywords
University of South Florida
(1)
University of Utah
(1)
Content type
File
(2)
Document Type
Poster
(2)
CPS Events
2011
(1)
2012
(1)
Contributor(s)
:
all
» Yingying Zhang
Document Source
Academia
(2)
Author
admin
(1)
haozheng
(1)
Date authored
2011
(1)
2012
(1)
Keyword search
Search within results
More options
