Software Engineering

1 - 10 out of 14Page size: 10
Sort by: Title
  1. An Introduction to Formal Methods for Software Development

    Anne Elisabeth Haxthausen (Invited speaker), Banedanmark (Rail Net Denmark), 25 Jun 2010

    Activity: Other research and communication activitiesExternal teaching and subject coordination

  2. An Introduction to Formal Methods for the Development of Safety-critical Applications

    Anne Elisabeth Haxthausen (Invited speaker), Trafikstyrelsen (Danish Transport Authority), 1 Sep 2010

    Activity: Other research and communication activitiesExternal teaching and subject coordination

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

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

  5. Danish Railway Conference 2012

    Anne Elisabeth Haxthausen (Participant), 9 May 2012

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

  6. Effective Development and Verification of Railway Control Software

    Anne Elisabeth Haxthausen (Speaker), 21 Jan 2011

    Activity: Lecture and oral contribution

  7. Formal Methods : A Tutorial on Model-oriented Specification

    Anne Elisabeth Haxthausen (Course lecturer), 14 Oct 2010

    Activity: Lecture and oral contribution

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

  9. Member of the review board for a VIP position at Engineering College of Århus

    Anne Elisabeth Haxthausen (Reviewer), 22 Nov 20101 Dec 2010

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

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