
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