Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (Q2937727)
From MaRDI portal
scientific journal
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems |
scientific journal |
