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, Conference on European Rail Traffic Management System

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

  6. Danish Railway Conference 2012

    Anne Elisabeth Haxthausen (Participant), 9 May 2012, Danish Railway Conference 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, MicroSoft Research Software Summit

    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, Towards a Semantics for VDM Core

    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, A Model-based Tool Set for Simulation and Verification of Relay Interlocking Systems

    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