Software Engineering
Department of Informatics and Mathematical Modeling - Former organisation. 31-12-12. Taken over by Department of Applied Mathematics and Computer Science
Sort by: Start year
- 2010
Member of the review board for a VIP position at Engineering College of Århus
Anne Elisabeth Haxthausen (Reviewer), , 22 Nov 2010 → 1 Dec 2010Activity: Participation in council, board, committee and network › Membership in committee, council, board
- 2009
A Domain-specific, Model-based Approach for Construction and Verification of Railway Control Systems
Anne Elisabeth Haxthausen (Speaker), , 23 Jan 2009Activity: Lecture and oral contribution
Towards a Framework for Modelling and Verification of Relay Interlocking Systems
Anne Elisabeth Haxthausen (Speaker), , 11 Nov 2009Activity: Lecture and oral contribution
Member of the review board of a Ph.D. thesis entitled "Domain-specific Modelling of Railway Control Systems with Integrated Verification and Validation", by Kirsten Mewes, Bremen University
Anne Elisabeth Haxthausen (Reviewer), , 12 Nov 2009Activity: Participation in council, board, committee and network › Membership in committee, council, board