X2Rail-4-872844 FORMAL MODELING OF A NEW ON-BOARD TRAIN INTEGRITY SYSTEM ETCS COMPLIANT

Summary

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: Insaf Sassi, Mohamed Ghazel, El-Miloudi El-Koursi (RAILENIUM)

Journal title: ESREL 2021

Journal number: September 2021

Journal publisher: ESREL 2021

Published year: 2021

Published pages: 1378 - 1385

Associated projects

X2Rail-4 - Advanced signalling and automation system - Completion of activities for enhanced automation systems, train integrity, traffic management evolution and smart object controllers

Organisations

Not specified