The following pages link to Anne Elisabeth Haxthausen (Q1391096):
Displaying 20 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)
- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems (Q3526937) (← links)
- (Q4373553) (← links)
- (Q4375636) (← links)
- (Q4471909) (← links)
- (Q4680192) (← links)
- (Q4680193) (← links)
- (Q4845494) (← links)
- (Q4845499) (← links)
- Order-sorted algebraic specifications with higher-order functions (Q5096382) (← links)
- Algebraic Methodology and Software Technology (Q5312990) (← links)
- An Institution for Imperative RSL Specifications (Q5403080) (← links)
- Editorial (Q5970748) (← links)
