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

2023

Software Unknown

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 = {10.5281/zenodo.7920448},
	year = {2023}
}