Complementary material of the WorkStream 1 of project 4SECURail

There is a newer version of the record available.

Published November 19, 2020 | Version 0.1

Dataset Open

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

Files

Name	Size
4SR-WP2-D2.1-Specification of formal development demonstrator-CNR-2.0.pdf md5:1cfaae8660c03be8de97130bed04c8f5	4.1 MB	Preview Download
Annex Sparx Model Report.docx md5:1aebdd6634d13516c7c8c5d3da75e4ad	319.2 kB	Download
D2.2 Sparx Video.mp4 md5:3e7fbe5b0bb2fa8e168bd9e143d1893e	247.3 MB	Preview Download
Prob UMC Video.mp4 md5:52ccdc3a9b0268380945d9ae46f1a549	283.8 MB	Preview Download
ProB-models-v1.0.zip md5:0a95aeb063c80030e42e59c458af9a79	51.4 kB	Preview Download
RBC2RBC_SPARX_EXPORT.xml md5:128d55c18a913004ab9915905b43629a	240.9 kB	Preview Download
RBC2RBC_SPARX_MODEL.eapx md5:d3dbcde1703a137f25369093256a2bb1	5.9 MB	Download
RBC2RBC_SPARX_SOURCECODE.zip md5:a2eace4adf646736fbe95829827c08e9	83.7 kB	Preview Download
UMC-models-v1.0.zip md5:1d0c174bb2f94a20e218e16e2542c60e	1.3 kB	Preview Download

Views

Downloads

Show more details

DOI

Resource type

Dataset

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more