Document - Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect

2023

Software Metadata Only Access

Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data

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.

Metrics

Back to previous page

Cite as

BibTeX entry

@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 = {https://doi.org/10.5281/zenodo.7920448 and 10.5281/zenodo.7920448},
	year = {2023}
}