A contract negotiation scheme for safety verification of interconnected systems (Q6652205)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A contract negotiation scheme for safety verification of interconnected systems |
scientific article; zbMATH DE number 7957340
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A contract negotiation scheme for safety verification of interconnected systems |
scientific article; zbMATH DE number 7957340 |
Statements
A contract negotiation scheme for safety verification of interconnected systems (English)
0 references
12 December 2024
0 references
barrier functions
0 references
interconnected systems
0 references
assume-guarantee contracts
0 references
0 references
0 references
0 references
