Checking scheduling-induced violations of control safety properties (Q6103165)
From MaRDI portal
scientific article; zbMATH DE number 7691497
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Checking scheduling-induced violations of control safety properties |
scientific article; zbMATH DE number 7691497 |
Statements
Checking scheduling-induced violations of control safety properties (English)
0 references
2 June 2023
0 references
control
0 references
scheduling
0 references
verification
0 references
abstraction
0 references
refinement
0 references
0 references
