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
Experimenting with formal verification and model-based development: the case of UMC and Sparx EA
Basile D
2023
Abstract
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_1File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_487372-doc_202482.mp4
accesso aperto
Descrizione: Experimenting with formal verification and model-based development: the case of UMC and Sparx EA - video presentation
Tipologia:
Versione Editoriale (PDF)
Dimensione
31.29 MB
Formato
MPEG-4
|
31.29 MB | MPEG-4 | Visualizza/Apri |
|
prod_487372-doc_202622.pdf
accesso aperto
Descrizione: Experimenting with formal verification and model-based development: the case of UMC and Sparx EA - slides
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.56 MB
Formato
Adobe PDF
|
1.56 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
