Runtime verification of real-time event streams using the tool HStriver (Q6185821)
From MaRDI portal
scientific article; zbMATH DE number 7785149
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Runtime verification of real-time event streams using the tool HStriver |
scientific article; zbMATH DE number 7785149 |
Statements
Runtime verification of real-time event streams using the tool HStriver (English)
0 references
8 January 2024
0 references
runtime verification
0 references
stream runtime verification
0 references
real-time streams
0 references
