Pages that link to "Item:Q417950"
From MaRDI portal
The following pages link to A logic approach to decision taking in a railway interlocking system using Maple (Q417950):
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)
- Logical foundations of group traffic control of trains (Q827998) (← links)
- A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking (Q1349163) (← 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)
- An algebraic approach for detecting nearly dangerous situations in expert systems (Q2228856) (← links)
