Ongoing projects: Acronym Project Start Date CAMELOT Autonomic platform for Machine Learning using anonymized data 01/07/2020 Closed projects: Acronym Project Start Date ADAAS ADAAS – Assuring Dependability in Architecture-based Adaptive Systems 01/10/2010 ARTS ARTS – Towards Autonomic Road Transport Support Systems 22/09/2011 AssertionTypes Assertion Types for Object-Oriented Programming 01/01/2010 BETTY BETTY – Behavioural types … Continue reading Projects