Pages that link to "Item:Q539161"

The following pages link to A formal approach for the construction and verification of railway control systems (Q539161):

Displaying 2 items.

• Manifest domains: analysis and description (Q520235) (← links)
• An approach from answer set programming to decision making in a railway interlocking system (Q740741) (← links)