2nd SmartRacon Scientific Seminar: Formalising the Specifications of Onboard Train Integrity System for Verification Purposes

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, IRT Railenium, Famars, France Mohamed Ghazel, El-Miloudi El-Koursi, Université Lille Nord-Europe, IFSTTAR, COSYS, ESTAS, Villeneuve d’Ascq, France

Journal publisher: Deutsches Zentrum für Luft- und Raumfahrt e.V. Institut für Verkehrssystemtechnik Lilienthalplatz7,38108Braunschweig

Published year: 2020