Anne Elisabeth Haxthausen - Projects - DTU Orbit

1 - 10 out of 15Page size: 10

RSS feed of this list

Sort by: Start date

Formal development and verification of railway control systems
Vu Hong, L., Haxthausen, A. E. & Peleska, J.
01-11-12 → 31-10-15
Project: PhD
Completed
Pattern-oriented Formal Software Development
Haxthausen, A. E.
01-04-05 → 01-04-10
Project
Completed
Modellering og analyse af globale applikationer
Buchholtz, M., Nielson, H. R., Nielson, F., Guttman, J. D., Haxthausen, A. E. & Focardi, R.
01-01-02 → 12-07-05
Project: PhD
Completed
Proof support for raise
Lindegaard, M. P., Hansen, M. R., Haxthausen, A. E., Sharp, R., Janowski, T. & Krieg-Brückner, B.
01-04-00 → 25-05-04
Project: PhD
Domain-specific Languages for Railway Control Systems
Haxthausen, A. E. & Peleska, J.
01-01-00 → 31-12-10
Project
Modelling Railway Interlocking Systems II
Haxthausen, A. E. & Lindegaard, M. P.
01-09-99 → 31-03-00
Project
Completed
CoFI WG (ESPRIT Working Group no. 29432)
Haxthausen, A. E., Mosses, P., Sannella, D., Tarlecki, A., Krieg-Brückner, B. & Bidoit, M.
01-10-98 → 30-04-01
Project
Completed
FMERail (ESPRIT Project EP26538)
Hansen, B. S., Bjørner, D. & Haxthausen, A. E.
01-01-98 → 30-09-99
Project
Information project for highschool pupils
Haxthausen, A. E., Hansen, B. S. & Bing, E.
01-11-97 → …
Project
Co-synthesis of RSL Specifications
Haxthausen, A. E.
01-09-97 → 31-01-98
Project

Previous 1 2 Next