Research Projects
Further research projects:
- ENABLE-S3 2016-2019: European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
- REVaMP² 2016-2019: Round-trip Engineering and Variability Management Platform and Process
- HPSV 2016-2019: Highly Parallel Software Verification of Concurrent Applications in the Automotive Industry
- eCoSMo 2016-2019: Effective Quality of Software Models
- AgQua 2016-2018: Aggregation Procedures for Quality
- ASSUME 2015-2018: Affordable Safe & Secure Mobility Evolution
- MCAS 2015-2018: Model Check Methodology for Avionic Software
- CISMo 2013-2016: Change Impact Analyses of Software Models