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

Overview

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

Other Profiles

Additional Document Info

start page

  • 208

end page

  • 217