IIT Home Page CNR Home Page

Model-based adaptation

Publications and editorial products until 01/01/2016

Synthesis of secure adaptors

Publications and editorial products from the 01/01/2016

A Formal and Run-time Framework for the Adaptation of Local Behaviours to Match a Global Property