The following pages link to Anne Elisabeth Haxthausen (Q1391096):
Displaying 9 items.
- (Q539159) (redirect page) (← links)
- A formal approach for the construction and verification of railway control systems (Q539161) (← links)
- Order-sorted algebraic specifications with higher-order functions (Q1391097) (← links)
- (Q1996428) (redirect page) (← 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)
- (Q2722020) (← links)
- Editorial (Q5970748) (← links)
