Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data
Software
Data di Pubblicazione:
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.
Tipologia CRIS:
05.11 Software
Keywords:
UMC; Sparx enterprise architect; Formal verification; Model-based
Elenco autori:
Ferrari, Alessio; Basile, Davide; Mazzanti, Franco
Link alla scheda completa: