There is a newer version of the record available.

Published July 28, 2021 | Version 0.2
Dataset Open

Complementary material of the WorkStream 1 of project 4SECURail

  • 1. CNR-ISTI

Description

Deliverables, models, artifacts developed within WP2 of the Shift2Rail project 4SECURAil.

Files

4SR-WP2-D2.1-Specification of formal development demonstrator-CNR-2.0.pdf

Files (636.3 MB)

Name Size Download all
md5:1cfaae8660c03be8de97130bed04c8f5
4.1 MB Preview Download
md5:ec9c1f4173501fbf4e6375adddd74986
2.3 MB Preview Download
md5:ff0e9403a98fe8a47252165f34c4a27c
4.5 MB Preview Download
md5:1d60954b79050bd4f02db84b7a71d499
2.8 MB Preview Download
md5:1aebdd6634d13516c7c8c5d3da75e4ad
319.2 kB Download
md5:3e7fbe5b0bb2fa8e168bd9e143d1893e
247.3 MB Preview Download
md5:efaa530fe6550854a5f9065ebfe9a530
130.2 kB Preview Download
md5:10d8322c41f4140aec2a116569114f32
38.3 kB Preview Download
md5:044f065b85a2bfa3d645d62b22a9ba0e
8.5 kB Preview Download
md5:52ccdc3a9b0268380945d9ae46f1a549
283.8 MB Preview Download
md5:0a95aeb063c80030e42e59c458af9a79
51.4 kB Preview Download
md5:128d55c18a913004ab9915905b43629a
240.9 kB Preview Download
md5:d3dbcde1703a137f25369093256a2bb1
5.9 MB Download
md5:a2eace4adf646736fbe95829827c08e9
83.7 kB Preview Download
md5:5c9d30c25740631d1afaff246cf185e6
84.6 MB Preview Download
md5:d46fb223a09885952c30aeb3d2367a9c
36.5 kB Preview Download

Additional details

Funding

4SECURAIL – FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR 881775
European Commission