Cited By
View all- Basile Dter Beek MDegano PLegay AFerrari GGnesi SDi Giandomenico F(2020)Controller synthesis of service contracts with variabilityScience of Computer Programming10.1016/j.scico.2019.102344187:COnline publication date: 15-Feb-2020
- Basile Dter Beek MPugliese R(2019)Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and ChoreographiesCoordination Models and Languages10.1007/978-3-030-22397-7_8(129-147)Online publication date: 17-Jun-2019
- Basile DBeek MGnesi S(2018)Modelling and analysis with featured modal contract automataProceedings of the 22nd International Systems and Software Product Line Conference - Volume 210.1145/3236405.3236408(11-16)Online publication date: 10-Sep-2018
- Show More Cited By