Ethernet-based network with high reliability for railway signaling systems
Formally verifying the correctness of a network-based protocol for railway signalling systems
Formal verification of protocol specified in LTS for railway signalling systems
Laboratory integration testing of railway signalling systems for high-speed trains
Model checker for railway signalling communication protocol
Risk assessment method for guaranteeing safety in the train control system
Safety characteristics analysis of Korean standard communication protocol for railway signalling