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, submitted at the conference FMICS 2023.

Resources

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

Tags

  • sparx.ea
  • formal-methods
  • umc
  • model-based-development

Topics

Categories