Pages that link to "Item:Q1404698"
From MaRDI portal
The following pages link to An applicable topology-independent model for railway interlocking systems (Q1404698):
Displaying 11 items.
- Discrete-event models of a railway network (Q315135) (← links)
- A logic approach to decision taking in a railway interlocking system using Maple (Q417950) (← links)
- A logic-algebraic approach to decision taking in a railway interlocking system (Q694549) (← links)
- An approach from answer set programming to decision making in a railway interlocking system (Q740741) (← links)
- Logical foundations of group traffic control of trains (Q827998) (← links)
- Evolution of railway network flexibility: The Spanish broad gauge case (Q1025316) (← links)
- A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking (Q1349163) (← links)
- Revisiting the 7/23 train accident using computer reconstruction simulation for causation and prevention analysis (Q1997091) (← links)
- Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system (Q2110247) (← links)
- Security codes in railway interlocking systems. (Q2856952) (← links)
- (Q3454437) (← links)