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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Basile D., Ter Beek M. H., Ferrari A., Legay A.

Journal title: International Journal on Software Tools for Technology Transfer - STTT

Journal publisher: Springer Nature

Published year: 2022

Published pages: N/A

DOI identifier: 10.1007/s10009-022-00653-3

ISSN: 1433-2787