Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
2011 CPS PI Meeting
Home
Program Agenda
Posters & Abstracts
Organizers
Files
CPS-VO
»
NSF CPS PI Meetings
»
2011 CPS PI Meeting
Methods and Tools for the Verification of Cyber-Physical Systems
View
Properties
Submitted by admin on Mon, 08/01/2011 - 10:04am. Contributors:
Chris J. Myers
Kevin Jones
Robert Thacker
Jian Wu
Zhen Zhang
Hao Zheng
Nicholas Donataccio
Larry Moore
Emmanuel Rodriguez
Haiqiong Yao
Yingying Zhang
License:
Creative Commons 2.5
Other available formats:
Methods and Tools for the Verification of Cyber-Physical Systems
Switch to normal viewer
Switch to experimental viewer
PDF document
264.8 KB
521 downloads
Download
PDF version
Printer-friendly version
Concurrency and Timing
Validation and Verification
Education
Foundations
University of South Florida
University of Utah
0930510
0930225
National CPS PI Meeting 2011
Poster Session: Day 1
Academia
Poster
File references
This file is attached to:
CPS: Small: Collaborative Research: Methods and Tools for the Verification of Cyber-Physical Systems