Pages that link to "Item:Q5963087"
From MaRDI portal
The following pages link to Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087):
Displaying 7 items.
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Finding suitable variability abstractions for lifted analysis (Q2414252) (← links)
- Modal transition system encoding of featured transition systems (Q2423766) (← links)
- Statistical Model Checking for Variability-Intensive Systems (Q5039537) (← links)
- (Q5114827) (← links)
- Coherent modal transition systems refinement (Q6197588) (← links)
