Our Paper “On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications” was accepted at the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015).
Joel Greenyer
Our Paper “On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications” was accepted at the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015).