Anne Elisabeth Haxthausen

  1. 2015
  2. Matematisk gennembrud øger tog sikkerheden

    Anne Elisabeth Haxthausen (Participant), DTU Avisen, Sep 2015

    Activity: Appearance in mass mediaParticipation in Interview for Printed Media

  3. Matematik mindsker risiko for togkollision

    Anne Elisabeth Haxthausen (Participant), Dynamo nr. 43, Dec 2015

    Activity: Appearance in mass mediaParticipation in Interview for Printed Media

  4. 2012
  5. 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

  6. Danish Railway Conference 2012

    Anne Elisabeth Haxthausen (Participant), 9 May 2012

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

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

  8. 2011
  9. Effective Development and Verification of Railway Control Software

    Anne Elisabeth Haxthausen (Speaker), 21 Jan 2011

    Activity: Lecture and oral contribution

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

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

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

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

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