Statistical model checking-based performance analysis of the onboard train integrity
SmartRaCon Scientific Seminar ; 4. ; 2022 ; San Sebastián; Online
2022
Aufsatz (Konferenz)
Englisch
Europäisches Patentamt | 2020
Europäisches Patentamt | 2019
|Train-to-train communication based preceding train discovery and the integrity checking method
Europäisches Patentamt | 2018
|Train-to-train communication based preceding train discovery and the integrity checking method
Europäisches Patentamt | 2018