Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect.

Davide Basile, Franco Mazzanti, Alessio Ferrari

Browse the full FMICS paper archive.