Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect - Complementary Data

Description

This repository contains the UMC and SPARX EA data used in the paper: Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect by Davide Basile, Franco Mazzanti and Alessio Ferrari.

Resources

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

Tags

  • sparx-enterprise-architect
  • formal-methods
  • umc
  • model-based-development

Topics

Categories