Compositionality for quantitative specifications (Q1797783)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Compositionality for quantitative specifications |
scientific article; zbMATH DE number 6960114
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Compositionality for quantitative specifications |
scientific article; zbMATH DE number 6960114 |
Statements
Compositionality for quantitative specifications (English)
0 references
22 October 2018
0 references
compositionality
0 references
specification theory
0 references
disjunctive modal transition system
0 references
quantitative verification
0 references
0 references
0.8172453045845032
0 references
0.7889564037322998
0 references
0.7615754008293152
0 references
0.7499164938926697
0 references
0.7433717250823975
0 references
