Pages that link to "Item:Q1797783"
From MaRDI portal
The following pages link to Compositionality for quantitative specifications (Q1797783):
Displaying 7 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Composition of assumption-commitment specifications in a UNITY style (Q1346680) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Richer interface automata with optimistic and pessimistic compatibility (Q2350491) (← links)
- Composition of default specifications (Q2761751) (← links)
- Constructive Specifications for Compositional Units (Q5458803) (← links)