The following pages link to SPL Conqueror (Q40366):
Displaying 4 items.
- Resource-usage-aware configuration in software product lines (Q898611) (← links)
- Understanding parameters of deductive verification: an empirical investigation of KeY (Q1791175) (← links)
- Influence of noisy environments on behavior of HPC applications (Q2046404) (← links)
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555) (← links)
