| Anne Elisabeth Haxthausen Associate Professor |
|
|
DTU Compute
Department of Applied Mathematics and Computer Science
Technical University of Denmark
Matematiktorvet
Building 303B, room 54
2800 Kgs. Lyngby
Denmark
|
|
Areas of expertise
formal methods
software engineering
safety-critical
formal specification
verification
RAISE
railway applications
|