Pages that link to "Item:Q2026788"
From MaRDI portal
The following pages link to Modeling role-based systems with exogenous coordination (Q2026788):
Displaying 7 items.
- Using role-based coordination to achieve software adaptability (Q859973) (← links)
- A decision tree lifted domain for analyzing program families with numerical features (Q2044175) (← links)
- Enhancing probabilistic model checking with ontologies (Q2065528) (← links)
- (Q3607688) (← links)
- (Q4449602) (← links)
- Family-Based SPL Model Checking Using Parity Games with Variability (Q5039535) (← links)
- Robust almost-sure reachability in multi-environment MDPs (Q6535373) (← links)