Incremental Verification of Parametric and Reconfigurable Markov Chains (Q6104805)
From MaRDI portal
scientific article; zbMATH DE number 7703953
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Incremental Verification of Parametric and Reconfigurable Markov Chains |
scientific article; zbMATH DE number 7703953 |
Statements
Incremental Verification of Parametric and Reconfigurable Markov Chains (English)
0 references
28 June 2023
0 references
Markov chain parameters (PMC)
0 references
state elimination
0 references
incident transitions
0 references
zeroconf protocol
0 references
volatile areas
0 references
0 references
