2023
Other
Open Access
Experimenting with formal verification and model-based development: the case of UMC and Sparx EA
Basile D
Sparx EA UMC Formal verification Mode-based Presentation
This is the presentation of "Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect" by Davide Basile, Franco Mazzanti, Alessio Ferrari, Presented at the 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023. https://doi.org/10.1007/978-3-031-43681-9_1
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:487372,
title = {Experimenting with formal verification and model-based development: the case of UMC and Sparx EA},
author = {Basile D},
year = {2023}
}CNR authorsLaboratories
0000-0002-7196-6609