Project participation
ITEA 3 Call 7
SmartDelta
Automated Quality Assurance and Optimization in Incremental Industrial Software Systems Development
ITEA 3 Call 5
IVVES
Industrial-grade Verification and Validation of Evolving Systems