Published December 28, 2021
| Version 1.0
Project deliverable
Open
The 4SECURail Work Strteam 1 Deliverables
Description
In the repository are made available the official deliverables of the Work Stream 1 of the European Shift2rail "4SECURail" project (FORmal Methods and CSIRT for the RAILway sector, https://4securail.eu), which are:
4SR-WP2-D2.1.pdf - Specification of formal development demonstrator
4SR-WP2-D2.2.pdf - Formal development Demonstrator prototype, 1st Release
4SR-WP2-D2.3.pdf - Case study requirements and specification
4SR-WP2-D2.4.pdf - Specification of Cost-Benefit Analysis and learning curves, 1st release
4SR-WP2-D2.5.pdf - Formal development demonstrator prototype, final release
4SR-WP2-D2.6.pdf - Specification of Cost-Benefit Analysis and learning curves, final release
Files
4SECURail_WorkStream_1_Deliverables.pdf
Files
(12.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:bd279fad3da18e3c5e57f554822fe7b4
|
63.8 kB | Preview Download |
|
md5:1cfaae8660c03be8de97130bed04c8f5
|
4.1 MB | Preview Download |
|
md5:4736fda139678c1bb8e40146efffc296
|
2.0 MB | Preview Download |
|
md5:2a25ac500f008b321aaf143d1ffc5dee
|
1.3 MB | Preview Download |
|
md5:89dcf926d6163b06e16bb40a1c4d9446
|
1.1 MB | Preview Download |
|
md5:5be5582d4e49a2f038925855b3add8af
|
2.7 MB | Preview Download |
|
4SR-WP2-D2.6-Specification of Cost-Benefit Analysis and learning curves. final release - FIT 2.0.pdf
md5:3af97bfa449ee3ae0a269ca0e510a827
|
1.1 MB | Preview Download |