Basile D., Mazzanti F., Ferrari A.
UMC Sparx enterprise architect Formal verification Model-based
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.
@misc{oai:it.cnr:prodotti:485292, title = {Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data}, author = {Basile D. and Mazzanti F. and Ferrari A.}, doi = {10.5281/zenodo.7920448}, year = {2023} }