A formal and run-time framework for the adaptation of local behaviours to match a global property

Authors: 
S. Bistarelli
F. Martinelli
I. Matteucci
F. Santini

13th International Conference on Formal Aspects of Component Software

Braga, Portugal, October 10-13, 2017

NeCS partner: Consiglio Nazionale delle Ricerche