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-4280774
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4280774
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4280774
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4280774
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4280774
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4280774
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4280774
0 http://data.europa.eu/88u/dataset/oai-zenodo-org-4280774

Tags

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

Topics

Categories