Project deliverable Open Access
Rollo, Jan; Alvarez de Sotomayor, Amelia; Caracuel, Benito; Ortega, Alvaro; Hametner, Reinhard; Tverdyshev, Sergey; Blasum, Holger; Kertis, Tomáš; Havle, Oto; Schulz, Thorsten; Hager, Michael
This deliverable summarizes consortium experience and expectations for a number of tools that can support high-assurance development for embedded systems.
Name | Size | |
---|---|---|
certMILS-D1.2-List-of-tools-and-techniques-PU-M12.pdf
md5:2381128237c457126d3f0e051b0e7e9d |
1.3 MB | Download |
All versions | This version | |
---|---|---|
Views | 93 | 93 |
Downloads | 446 | 446 |
Data volume | 569.1 MB | 569.1 MB |
Unique views | 86 | 86 |
Unique downloads | 376 | 376 |