Auflistung nach Autor "Cordy, Maxime"
Anzeige der Dokumente 1-2 von 2
-
Counterexample guided abstraction refinement of product-line behavioural models
Cordy, Maxime; Heymans, Patrick; Legay, Axel; Schobbens, Pierre-Yves; Dawagne, Bruno; Leucker, Martin
79-80 -
Incrementally synthesizing controllers from scenario-based product line specifications
Greenyer, Joel; Brenner, Christian; Cordy, Maxime; Heymans, Patrick; Gressi, Erika
91-92