International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
Porto, Portugal, February 19-21 2017
NeCS partner: Consiglio Nazionale delle Ricerche
Links:
Concurrent history-based usage control policies
The work described in this website has been conducted within the project NeCS. This project has received funding from the European Union’s Horizon 2020 (H2020) research and innovation programme under the Grant Agreement no 675320. This website and the content displayed in it do not represent the opinion of the European Union, and the European Union is not responsible for any use that might be made of its content.