Incrementally synthesizing controllers from scenario-based product line specifications

Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Incrementally synthesizing controllers from scenario-based product line specifications'. Together they form a unique fingerprint.

Computer Science