Published May 10, 2023
| Version 1.0
Dataset
Open
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.
Files
README.pdf
Files
(25.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c58bc426996c7c9d237e7ed9f332410c
|
17.4 MB | Download |
|
md5:7cc97f26f1fea98adf6385374c07ade9
|
45.8 kB | Preview Download |
|
md5:dc68c45ddc8ce3f0c2d92060f74f0d0a
|
940.4 kB | Preview Download |
|
md5:e59d3080b8ee1f562b86bc2abd42106f
|
112.8 kB | Preview Download |
|
md5:7473903fff224f488f375da149854cfd
|
5.9 MB | Download |
|
md5:c1aee6c33b2c453a05b406f4ad681b20
|
337.4 kB | Download |
|
md5:ae7f19b009f2d88fa618fbc210aa4d92
|
5.6 kB | Preview Download |
|
md5:15c48459ea4ff82a4fcfe50d455ff8cf
|
26.3 kB | Preview Download |
|
md5:1952c212658a20a40e6998bb26440e94
|
122.1 kB | Preview Download |
|
md5:eb0b41532d0515fd985353be94d93116
|
39.8 kB | Preview Download |