1. 2010
  2. JAIST Advanced School on Formal Specification and Systems Verification 2010 ( JAIST-FSSV2010)

    Haxthausen, A. E. (Participant)
    1 Mar 20105 Mar 2010

    Activity: Participating in or organising an eventParticipating in or organising a conference

  3. 2009
  4. Towards a Framework for Modelling and Verification of Relay Interlocking Systems

    Haxthausen, A. E. (Speaker)
    11 Nov 2009

    Activity: Talks and presentationsConference presentations

  5. A Domain-specific, Model-based Approach for Construction and Verification of Railway Control Systems

    Haxthausen, A. E. (Speaker)
    23 Jan 2009

    Activity: Talks and presentationsConference presentations

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