D.04.01. Requirements Analysis for Model-based Analysis Techniques and Tools

This document describes the objectives, the methodology and the results of the analysis of requirements which have been collected from application work packages (WP6 to WP9) regarding their relevance for model based analysis techniques and tools.

Dissemination Level: 
Public