Anne Elisabeth Haxthausen

  1. Completed

    Formal development and verification of railway control systems

    Vu, L. H., Haxthausen, A. E., Peleska, J., Hansen, M. R., Fantechi, A. & Larsen, P. G.

    01/11/201221/01/2016

    Project: PhD

  2. Completed
  3. Completed
  4. Completed

    Project: PhD

  5. Completed

    Proof support for raise

    Lindegaard, M. P., Haxthausen, A. E., Hansen, M. R., Sharp, R., Janowski, T. & Krieg-Brückner, B.

    01/04/200025/05/2004

    Project: PhD

  6. Modelling Railway Interlocking Systems II

    Haxthausen, A. E., Lindegaard, M. P., Hansen, K. M. & Viuf, P.

    01/09/199931/03/2000

    Project

  7. Completed

    CoFI WG (ESPRIT Working Group no. 29432)

    Haxthausen, A. E., Mosses, P., Sannella, D., Tarlecki, A., Krieg-Brückner, B., Bidoit, M., Astesiano, E. & Kirchner, H.

    01/10/199830/04/2001

    Project

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