Meinten Sie:
person:("wang, J.")
•
person:("huang, J.")
Safety characteristics analysis of Korean standard communication protocol for railway signalling
Risk assessment method for guaranteeing safety in the train control system
Formally verifying the correctness of a network-based protocol for railway signalling systems