Complementary material of the WorkStream 1 of project 4SECURail

Description

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

Resources

Name Format Description Link
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4296514
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4296514
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4296514
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4296514
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4296514
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4296514
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4296514
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4296514
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4296514
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4296514

Tags

  • formal-modelling,-uml,-event-b

Topics

Categories