The following pages link to (Q4255544):
Displaying 7 items.
- Formal modeling and verification for MVB (Q364392) (← links)
- Case study: Formal verification of a computerized railway interlocking (Q1295867) (← 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)
- A formal specification and validation of a critical system in presence of Byzantine errors (Q2729089) (← links)
- Systematic validation of a relational control program for the bay area rapid transit system (Q2751761) (← links)
- Specification and validation of a concurrent system: An educational project (Q5953454) (← links)