This repository contains the models for the paper, created with Uppaal SMC version 4.1.19 and 4.1.24 (http://www.uppaal.org/). Basile, D., ter Beek, M.H., Ferrari, A. and Legay, A., 2022. Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. International Journal on Software Tools for Technology Transfer, 24(3), pp.351-370. https://doi.org/10.1007/s10009-022-00653-3
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods - Complementary data
Basile D
2022
Abstract
This repository contains the models for the paper, created with Uppaal SMC version 4.1.19 and 4.1.24 (http://www.uppaal.org/). Basile, D., ter Beek, M.H., Ferrari, A. and Legay, A., 2022. Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. International Journal on Software Tools for Technology Transfer, 24(3), pp.351-370. https://doi.org/10.1007/s10009-022-00653-3File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
