Pages that link to "Item:Q4639981"
From MaRDI portal
The following pages link to Model mining and efficient verification of software product lines (Q4639981):
Displaying 10 items.
- Input-output conformance testing for software product lines (Q338614) (← links)
- Trustworthy variant derivation with translation validation for safety critical product lines (Q338617) (← links)
- Foreword to the special issue on formal methods for software product line engineering (Q898601) (← links)
- Product line process theory (Q898612) (← links)
- Incremental model checking of delta-oriented software product lines (Q898621) (← links)
- FCA for software product line representation: mixing configuration and feature relationships in a unique canonical representation (Q2286383) (← links)
- Probabilistic software product lines (Q2329442) (← links)
- Improving software product line using an ontological approach (Q2360143) (← links)
- (Q4738771) (← links)
- (Q4808779) (← links)