The train control system is the heart of Chinese high-speed railways, which is a core technology to ensure safe operation as well as high throughput of trains (see Figure 1). The correctness of the ...
The complex and demanding railway transportation sector requires computer hardware and software that is secure, durable and offers high performance. Many of the currently evolving technologies in the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results