2023
Contribution to conference
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
Source: FMICS 2023 - 28th International Conference on Formal Methods for Industrial Critical Systems, Antwerp, Belgium, 20-22/09/2023
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:487372,
title = {Experimenting with formal verification and model-based development: the case of UMC and Sparx EA},
author = {Basile D.},
booktitle = {FMICS 2023 - 28th International Conference on Formal Methods for Industrial Critical Systems, Antwerp, Belgium, 20-22/09/2023},
year = {2023}
}CNR authorsLaboratories
0000-0002-7196-6609