Document - Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods

2022

Software Unknown

Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods - Complementary data

Basile D.

Uppaal Formal methods Railway ERTMS/ETCS

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

Metrics

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:485293,
	title = {Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods - Complementary data},
	author = {Basile D.},
	doi = {10.5281/zenodo.8207726},
	year = {2022}
}