Anne Elisabeth Haxthausen

Anne Elisabeth Haxthausen

Lektor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Asmussens Alle

Bygning 322, rum 216

2800 Kgs. Lyngby

Tlf.
Fax 45 93 00 74
E-mail aeha@dtu.dk
ORCID 0000-0001-7349-8872
Hjemmeside

Få tilsendt vCard på e-mail.

Profil
Publikationer
Projekter
Aktiviteter
Kurser
CV
DTU nyheder
Loading

Aktiviteter rss feed

2017

Formal Merthods for Software Development

Type: Guest lectures, external teaching and course activities at other universities
Guest lecturer: Haxthausen, Anne Elisabeth

2017

University of Florence

Type: Visiting another research institution
Visiting researcher: Haxthausen, Anne Elisabeth

2017

2016
2012

Department of Informatics and Mathematical Modeling (Organisational unit)

Type: Membership of commitees, commissions, boards, councils, associations, organisations, or similar
Participant: Haxthausen, Anne Elisabeth

2012

Danish Railway Conference 2012

Type: Participating in or organising a conference
Participant: Haxthausen, Anne Elisabeth

2012

Conference on European Rail Traffic Management System

Type: Participating in or organising workshops, courses, seminars etc.
Participant: Haxthausen, Anne Elisabeth

2012

2011

A Model-based Tool Set for Simulation and Verification of Relay Interlocking Systems

Type: Talks and presentations in private or public companies and organisations
Speaker: Haxthausen, Anne Elisabeth

2011

Towards a Semantics for VDM Core

Type: Guest lectures, external teaching and course activities at other universities
Speaker: Haxthausen, Anne Elisabeth

2011