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