Pages that link to "Item:Q3095246"
From MaRDI portal
The following pages link to Modular Modelling of Software Product Lines with Feature Nets (Q3095246):
Displayed 9 items.
- Input-output conformance testing for software product lines (Q338614) (← links)
- Extensible structural analysis of Petri net product lines (Q2032833) (← links)
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Improvements in unfolding of colored Petri nets (Q2695488) (← links)
- Modular Modelling of Software Product Lines with Feature Nets (Q3095246) (← 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)
- Methods for Efficient Unfolding of Colored Petri Nets (Q6070614) (← links)