Pages that link to "Item:Q694549"
From MaRDI portal
The following pages link to A logic-algebraic approach to decision taking in a railway interlocking system (Q694549):
Displaying 5 items.
- A logic approach to decision taking in a railway interlocking system using Maple (Q417950) (← 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)
- An algebraic approach for detecting nearly dangerous situations in expert systems (Q2228856) (← links)
- An algebraic approach to DC railway electrification verification (Q2324411) (← links)