Compositional Verification for Large-Scale Systems via Closure Certificates
Journal Article
Overview
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)
Additional Document Info
start page
- 1
end page
- 1