Pages that link to "Item:Q5170745"
From MaRDI portal
The following pages link to Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745):
Displaying 10 items.
- Modal transition systems with weight intervals (Q444490) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Modal transition system encoding of featured transition systems (Q2423766) (← links)
- Quantitative Modal Transition Systems (Q2848870) (← links)
- An inductive approach for modal transition system refinement (Q2909149) (← links)
- (Q4012252) (← links)
- (Q4394916) (← links)
- Extended transition systems for parametric bisimulation (Q4630292) (← links)
- Distribution of Modal Transition Systems (Q4647857) (← links)
- Specification Theories for Probabilistic and Real-Time Systems (Q5170746) (← links)