Change and Delay Contracts for Hybrid System Component Verification (Q5215905)
From MaRDI portal
scientific article; zbMATH DE number 7167155
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Change and Delay Contracts for Hybrid System Component Verification |
scientific article; zbMATH DE number 7167155 |
Statements
Change and Delay Contracts for Hybrid System Component Verification (English)
0 references
13 February 2020
0 references
component-based development
0 references
hybrid systems
0 references
formal verification
0 references
