Did you mean:
journal:(computer
A model-based framework for the safety analysis of computer-based railway signalling systems
Design, development, application, safety assessment and simulation of the railway signaling system
A scenario-based safety argumentation for CBTC safety case architecture
System safety property-oriented test sequences generating method based on model checking
A novel peak power demand reduction strategy under a moving block signalling system
Research on a novel train positioning method with a single image
A framework for modeling train control systems based on agent and cellular automata
An interbus for on-board train control equipment on the CAN bus
A new train overspeed protection system based on multi-microprocessors and distributed configuration
A distributed redundant multi-microcomputer system of ATP