Pages that link to "Item:Q5178972"
From MaRDI portal
The following pages link to Automated Verification of Signalling Principles in Railway Interlocking Systems (Q5178972):
Displaying 10 items.
- Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (Q475379) (← links)
- Case study: Formal verification of a computerized railway interlocking (Q1295867) (← links)
- Formal verification of a railway interlocking system using model checking (Q1295868) (← 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)
- Efficient data validation for geographical interlocking systems (Q2065531) (← links)
- Security codes in railway interlocking systems. (Q2856952) (← links)
- MODELING FIXED-BLOCK RAILWAY SIGNALING SYSTEM USING CELLULAR AUTOMATA MODEL (Q3368608) (← links)
- (Q3454437) (← links)
- A light-weight integration of automated and interactive theorem proving (Q5741559) (← links)