The following pages link to Maxime Cordy (Q2065552):
Displaying 4 items.
- Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555) (← links)
- Statistical Model Checking for Variability-Intensive Systems (Q5039537) (← links)
- A variable neighborhood search simheuristic algorithm for reliability optimization of smart grids under uncertainty (Q6091796) (← links)
- ACoRe: automated goal-conflict resolution (Q6535216) (← links)
