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 4 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)
- Revisiting the 7/23 train accident using computer reconstruction simulation for causation and prevention analysis (Q1997091) (← links)
- An algebraic approach for detecting nearly dangerous situations in expert systems (Q2228856) (← links)