Pages that link to "Item:Q1349163"

The following pages link to A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking (Q1349163):

Displaying 8 items.

• 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)
• An applicable topology-independent model for railway interlocking systems (Q1404698) (← 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)
• The geometry of railway geometric overthrow revisited using computer algebra methods (Q2254095) (← links)
• An algebraic approach to DC railway electrification verification (Q2324411) (← links)
• (Q3809559) (← links)