Experimenting with Formal Verification and Model-based Development in Railways: the case of UMC and Sparx Enterprise Architect - Complementary Data
收藏数据链接：
官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2023-05-10
