Activities per year
Activities
- 5 results
Search results
-
Green Light for Smarter Methods in Railway Safety Verification
Haxthausen, A. E. (Guest lecturer)
31 May 2017Activity: Talks and presentations › Conference presentations
-
Formel Modellering og Verifikation af Jernbanekontrolsystemer: Et eksempel fra RobustRailS WP 4.1
Haxthausen, A. E. (Invited speaker)
3 Feb 2016Activity: Talks and presentations › Conference presentations
-
Effective Development and Verification of Railway Control Software
Haxthausen, A. E. (Speaker)
21 Jan 2011Activity: Talks and presentations › Conference presentations
-
A Domain-specific, Model-based Approach for Construction and Verification of Railway Control Systems
Haxthausen, A. E. (Speaker)
23 Jan 2009Activity: Talks and presentations › Conference presentations
-
Towards a Framework for Modelling and Verification of Relay Interlocking Systems
Haxthausen, A. E. (Speaker)
11 Nov 2009Activity: Talks and presentations › Conference presentations