Specification and efficient monitoring beyond STL (Q6091405)
From MaRDI portal
scientific article; zbMATH DE number 7770656
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Specification and efficient monitoring beyond STL |
scientific article; zbMATH DE number 7770656 |
Statements
Specification and efficient monitoring beyond STL (English)
0 references
24 November 2023
0 references
