Pages that link to "Item:Q539161"
From MaRDI portal
The following pages link to A formal approach for the construction and verification of railway control systems (Q539161):
Displaying 16 items.
- Manifest domains: analysis and description (Q520235) (← links)
- A logic-algebraic approach to decision taking in a railway interlocking system (Q694549) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- An approach from answer set programming to decision making in a railway interlocking system (Q740741) (← links)
- Formal verification of a railway interlocking system using model checking (Q1295868) (← links)
- A system-based approach to the formal development of embedded controllers for a railway (Q1859163) (← links)
- Stepwise development and model checking of a distributed interlocking system using RAISE (Q1996429) (← links)
- Stepwise development and model checking of a distributed interlocking system -- using RAISE (Q2024351) (← links)
- Formal verification of safety protocol in train control system (Q2321189) (← links)
- Using SCR to specify requirements of the BART advanced automated train control system (Q2751758) (← links)
- A refinement-based approach to deriving train controllers (Q2751760) (← links)
- Verification of a controller for BART: An approach based on Horn logic and denotational semantics (Q2751763) (← links)
- Automatic verification of safety rules for a subway control software (Q2848456) (← links)
- Automated Verification of Signalling Principles in Railway Interlocking Systems (Q5178972) (← links)
- Specification and validation of a concurrent system: An educational project (Q5953454) (← links)
- A case in point: verification and testing of a EULYNX interface (Q6610254) (← links)
