Verification and synthesis of interconnected embedded control systems under timing contracts Conference Proceeding

Overview

CU Boulder Authors

Zamani, Majid

publication date

April 16, 2019

has restriction

closed

Date in CU Experts

January 24, 2020 3:17 AM

Full Author List

Al Khatib M; Zamani M

author count

2

presented at event

22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC) Conference

Other Profiles

Digital Object Identifier (DOI)

https://doi.org/10.1145/3302504.3311799

Additional Document Info

start page

208

end page

217