Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data
Software
Publication Date:
2023
abstract:
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.
Iris type:
05.11 Software
Keywords:
UMC; Sparx enterprise architect; Formal verification; Model-based
List of contributors: