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

Original languageFrench
Title of host publicationSoftware Engineering & Management
Pages91-92
Publication statusPublished - 2015

Cite this