Anne Elisabeth Haxthausen

  1. 2017
  2. Formal Merthods for Software Development

    Haxthausen, A. E. (Guest lecturer)
    11 Sep 201714 Sep 2017

    Activity: Talks and presentationsGuest lectures, external teaching and course activities at other universities

  3. University of Florence

    Haxthausen, A. E. (Visiting researcher)
    15 Aug 201714 Sep 2017

    Activity: Visiting an external institutionVisiting another research institution

  4. Green Light for Smarter Methods in Railway Safety Verification

    Haxthausen, A. E. (Guest lecturer)
    31 May 2017

    Activity: Talks and presentationsConference presentations

  5. 2016
  6. 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

  7. 2012
  8. Assessment Committee for a post.doc. position (External organisation)

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

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

  9. Danish Railway Conference 2012

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

    Activity: Attending an eventParticipating in or organising a conference

  10. 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.

  11. 2011
  12. An Introduction to Formal Methods for Software Development

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

    Activity: Public and private sector consultancyPublic sector consultancy

  13. 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

  14. Towards a Semantics for VDM Core

    Haxthausen, A. E. (Speaker)
    20 Jun 2011

    Activity: Talks and presentationsGuest lectures, external teaching and course activities at other universities

Previous 1 2 3 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