All-At-Once-Synthesis of controllers from scenario-based product line specifications

Maxime Cordy, Jean-Marc Davril, Joel Greenyer, Erika Gressi, Patrick Heymans

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

Fingerprint

Dive into the research topics of 'All-At-Once-Synthesis of controllers from scenario-based product line specifications'. Together they form a unique fingerprint.

Computer Science