Anne Elisabeth Haxthausen

  1. 2016
  2. Formel Modellering og Verifikation af Jernbanekontrolsystemer: Et eksempel fra RobustRailS WP 4.1

    Haxthausen, A. E. (Invited speaker)
    3 Feb 2016

    Activity: Talks and presentationsConference presentations

  3. 2012
  4. Assessment Committee for a post.doc. position (External organisation)

    Haxthausen, A. E. (Member)
    21 Nov 201221 Dec 2012

    Activity: MembershipMembership of commitees, commissions, boards, councils, associations, organisations, or similar

  5. Danish Railway Conference 2012

    Haxthausen, A. E. (Participant)
    9 May 2012

    Activity: Attending an eventParticipating in or organising a conference

  6. Conference on European Rail Traffic Management System

    Haxthausen, A. E. (Participant)
    17 Apr 2012

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

  7. 2011
  8. An Introduction to Formal Methods for Software Development

    Haxthausen, A. E. (Speaker)
    7 Oct 2011

    Activity: OtherOther (prizes, external teaching and other activities) - External teaching and subject coordination

  9. A Model-based Tool Set for Simulation and Verification of Relay Interlocking Systems

    Haxthausen, A. E. (Speaker)
    27 Sep 2011

    Activity: Talks and presentationsTalks and presentations in private or public companies and organisations

  10. Towards a Semantics for VDM Core

    Haxthausen, A. E. (Course lecturer)
    20 Jun 2011

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

  11. MicroSoft Research Software Summit

    Haxthausen, A. E. (Participant)
    13 Apr 201115 Apr 2011

    Activity: Attending an eventParticipating in or organising a conference

  12. Effective Development and Verification of Railway Control Software

    Haxthausen, A. E. (Speaker)
    21 Jan 2011

    Activity: Talks and presentationsConference presentations

  13. 2010
  14. Member of the review board for a VIP position at Engineering College of Århus (External organisation)

    Haxthausen, A. E. (Reviewer)
    22 Nov 20101 Dec 2010

    Activity: MembershipMembership of commitees, commissions, boards, councils, associations, organisations, or similar

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word