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 |
|---|---|---|---|
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource |