Our Paper “All-At-Once-Synthesis of Controllers from Scenario-Based Product Line Specifications” was accepted at the 19th International Software Product Line Conference (SPLC 2015).
See the Publications for more information.
Joel Greenyer
Our Paper “All-At-Once-Synthesis of Controllers from Scenario-Based Product Line Specifications” was accepted at the 19th International Software Product Line Conference (SPLC 2015).
See the Publications for more information.