Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems Conference Proceeding

Overview

CU Boulder Authors

Myers, Christopher

publication date

April 17, 2012

has restriction

closed

Date in CU Experts

October 28, 2020 2:57 AM

Full Author List

Myers C; Wu J; Zhang Z; Zheng H; Zhang Y

author count

5

presented at event

3rd IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS) Conference

Other Profiles

International Standard Serial Number (ISSN)

2375-8317

Digital Object Identifier (DOI)

https://doi.org/10.1109/iccps.2012.50

Additional Document Info

start page

232

end page

232