Did you mean:
journal:(computer
System safety property-oriented test sequences generating method based on model checking
Research on a novel train positioning method with a single image
Design, development, application, safety assessment and simulation of the railway signaling system
A scenario-based safety argumentation for CBTC safety case architecture
A novel peak power demand reduction strategy under a moving block signalling system
An interbus for on-board train control equipment on the CAN bus