Statistical model checking-based performance analysis of the onboard train integrity
SmartRaCon Scientific Seminar ; 4. ; 2022 ; San Sebastián; Online
2022
Conference paper
English
European Patent Office | 2020
European Patent Office | 2019
|Train-to-train communication based preceding train discovery and the integrity checking method
European Patent Office | 2018
Train-to-train communication based preceding train discovery and the integrity checking method
European Patent Office | 2018
|