The following pages link to DeltaCCS (Q26376):
Displaying 3 items.
- Family-Based SPL Model Checking Using Parity Games with Variability (Q5039535) (← links)
- From EU Projects to a Family of Model Checkers (Q5256356) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)