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

Greenyer, J., Brenner, C., Cordy, M., Heymans, P., & Gressi, E. (2015). Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. In Software Engineering & Management (pp. 91-92)
Greenyer, Joel ; Brenner, Christian ; Cordy, Maxime ; Heymans, Patrick ; Gressi, Erika. / Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. Software Engineering & Management. 2015. pp. 91-92
@inproceedings{66f326deb84e4a77b5844e31ba2a8034,
title = "Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications",
author = "Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi",
year = "2015",
language = "Fran{\cc}ais",
pages = "91--92",
booktitle = "Software Engineering & Management",

}

Greenyer, J, Brenner, C, Cordy, M, Heymans, P & Gressi, E 2015, Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. in Software Engineering & Management. pp. 91-92.

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. / Greenyer, Joel; Brenner, Christian; Cordy, Maxime; Heymans, Patrick; Gressi, Erika.

Software Engineering & Management. 2015. p. 91-92.

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

TY - GEN

T1 - Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications

AU - Greenyer, Joel

AU - Brenner, Christian

AU - Cordy, Maxime

AU - Heymans, Patrick

AU - Gressi, Erika

PY - 2015

Y1 - 2015

M3 - Article dans les actes d'une conférence/un colloque

SP - 91

EP - 92

BT - Software Engineering & Management

ER -

Greenyer J, Brenner C, Cordy M, Heymans P, Gressi E. Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. In Software Engineering & Management. 2015. p. 91-92