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
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}
}

4SECURAIL
FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR


OpenAIRE