AMPERE | A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisation 01-01-2020 - 30-06-2023 Show more information Organisation SYSGO SRO
certMILS | Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats 01-01-2017 - 30-06-2021 Show more information Organisation SYSGO SRO