Towards Modeling and Verification of Eurobalise Telegram Encoding Algorithm
Article in Transportation Research Procedia (January 2022)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Article in Transportation Research Procedia (January 2022)
Book chapter (April 2019)
Book chapter (October 2017)