Precision, recall, and sensitivity of monitoring partially synchronous distributed programs (Q2241299)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Precision, recall, and sensitivity of monitoring partially synchronous distributed programs |
scientific article |
Statements
Precision, recall, and sensitivity of monitoring partially synchronous distributed programs (English)
0 references
8 November 2021
0 references
predicate detection
0 references
conjunctive predicate
0 references
distributed monitoring
0 references
partially synchronous systems
0 references
precision and recall
0 references
