Failure-aware Runtime Verification of Distributed Systems (Q5275399)
From MaRDI portal
scientific article; zbMATH DE number 6744946
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Failure-aware Runtime Verification of Distributed Systems |
scientific article; zbMATH DE number 6744946 |
Statements
13 July 2017
0 references
runtime verification
0 references
monitoring algorithm
0 references
real-time logics
0 references
multi-valued semantics
0 references
distributed systems
0 references
asynchronous communication
0 references
Failure-aware Runtime Verification of Distributed Systems (English)
0 references
