Pages that link to "Item:Q3095246"

The following pages link to Modular Modelling of Software Product Lines with Feature Nets (Q3095246):

Displaying 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)