Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954)
From MaRDI portal
scientific article; zbMATH DE number 6472768
Language | Label | Description | Also known as |
---|---|---|---|
English | Measuring and Synthesizing Systems in Probabilistic Environments |
scientific article; zbMATH DE number 6472768 |
Statements
Measuring and Synthesizing Systems in Probabilistic Environments (English)
0 references
14 August 2015
0 references
synthesis
0 references
quantitative verification
0 references
0 references
0 references