Summary
This deliverable contains a detaileddescription of the design of the techniques developed in Task 32 that can be considered for verifications and tests within the scope of this project Therefore a detailed algorithmic description of the techniques will be also included to be used as input for WP5 and WP6
More information & hyperlinks