Research and development within the CHESS project was completed in April 2012.
The following public documents developed in the project are available for download.
D2.1 – CHESS modelling language and editor
D2.2 – Analysis and Evaluation Solutions
D2.3.2 – Multi-concern Component Methodology and Toolset
D3.1 – Dependability and security properties and analysis methods
D3.2.2 – Transformatio…
You can share this page in two ways…
Share this link:
Send it with your computer's email program: Email this