Did you mean:
journal:(computer
The analysis of train transportation simulation system
System safety property-oriented test sequences generating method based on model checking
Research on the onboard auto-test system for track circuit compensating capacitors
Research on a novel train positioning method with a single image
Output-Variable Structure Control of Distributed Parameter Systems with Delay
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
A new train overspeed protection system based on multi-microprocessors and distributed configuration
A model-based framework for the safety analysis of computer-based railway signalling systems
A framework for modeling train control systems based on agent and cellular automata
Adopting the Information Contained by Outliers in the Modeling Process
A distributed redundant multi-microcomputer system of ATP