Anne Elisabeth Haxthausen
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
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
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
Project
Project
Project