Compositional Verification for Large-Scale Systems via Closure Certificates Journal Article

Overview

CU Boulder Authors

Zamani, Majid

publication date

January 1, 2024

has restriction

closed

Date in CU Experts

June 12, 2024 4:52 AM

Full Author List

Galarza-Jimenez F; Murali V; Zamani M

author count

3

published in

IEEE Control Systems Letters Journal

Other Profiles

Electronic International Standard Serial Number (EISSN)

2475-1456

Digital Object Identifier (DOI)

https://doi.org/10.1109/lcsys.2024.3411508

Additional Document Info

start page

1

end page

1