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