Anne Elisabeth Haxthausen

  1. 2012
  2. Conference on European Rail Traffic Management System

    Anne Elisabeth Haxthausen (Participant), 17 Apr 2012

    Activity: Participation in conference/workshop/course/seminarParticipation in workshop, seminar, course

  3. Danish Railway Conference 2012

    Anne Elisabeth Haxthausen (Participant), 9 May 2012

    Activity: Participation in conference/workshop/course/seminarOrganisation of and participation in conference

  4. Assessment Committee for a post.doc. position

    Anne Elisabeth Haxthausen (Member), 21 Nov 201221 Dec 2012

    Activity: Participation in council, board, committee and networkMembership in committee, council, board

  5. 2011
  6. Effective Development and Verification of Railway Control Software

    Anne Elisabeth Haxthausen (Speaker), 21 Jan 2011

    Activity: Lecture and oral contribution

  7. MicroSoft Research Software Summit

    Anne Elisabeth Haxthausen (Participant), 13 Apr 201115 Apr 2011

    Activity: Participation in conference/workshop/course/seminarOrganisation of and participation in conference

  8. Towards a Semantics for VDM Core

    Anne Elisabeth Haxthausen (Course lecturer), 20 Jun 2011

    Activity: Participation in conference/workshop/course/seminarParticipation in workshop, seminar, course

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

    Anne Elisabeth Haxthausen (Speaker), 27 Sep 2011

    Activity: Participation in conference/workshop/course/seminarParticipation in workshop, seminar, course

  10. An Introduction to Formal Methods for Software Development

    Anne Elisabeth Haxthausen (Invited speaker), Banedanmark, Copenhagen, 7 Oct 2011

    Activity: Other research and communication activitiesExternal teaching and subject coordination

  11. 2010
  12. JAIST Advanced School on Formal Specification and Systems Verification 2010 ( JAIST-FSSV2010)

    Anne Elisabeth Haxthausen (Participant), 1 Mar 20105 Mar 2010

    Activity: Participation in conference/workshop/course/seminarOrganisation of and participation in conference

  13. Talentudvikling og karriererådgivning

    Anne Elisabeth Haxthausen (Participant), 17 May 20107 Dec 2010

    Activity: Lecture and oral contribution

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