Secure-by-construction synthesis of cyber-physical systems Journal Article

Overview

CU Boulder Authors

• Trivedi, Ashutosh
• Zamani, Majid

publication date

• January 1, 2022

has restriction

• bronze

Date in CU Experts

• July 16, 2022 4:50 AM

Full Author List

• Liu S; Trivedi A; Yin X; Zamani M

author count

• 4

citation count

• 8

published in

• Annual Reviews in Control  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 1367-5788

Electronic International Standard Serial Number (EISSN)

• 1872-9088

Digital Object Identifier (DOI)

• https://doi.org/10.1016/j.arcontrol.2022.03.004

Additional Document Info

start page

• 30

end page

• 50

volume

• 53