Original language | French |
---|---|
Title of host publication | Software Engineering & Management |
Pages | 91-92 |
Publication status | Published - 2015 |
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 proceeding › Conference contribution