Anne Elisabeth Haxthausen – Publications — Welcome to DTU Research Database

View Scopus Profile

Phone45257510
Emailaehadtudk
Websitehttp://people.compute.dtu.dk/aeha

Richard Petersens Plad, 321, 026
2800 Kgs. Lyngby
Denmark

If you made any changes in Pure these will be visible here soon.

1 results

Filter

2013
Formal Development and Verification of Railway Control Systems
Vu Hong, L., Haxthausen, A. E. & Peleska, J., 2013. 1 p.
Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

Open Access
File
395 Downloads (Pure)