- Arranged a workshop on Software Change Management and Approval Processes for Safety Critical Applications
for Banedanmark and the Danish Transport Authority (Trafikstyrelsen), August 2014. 35 participants. Programme
- Participated in three meetings with DSB concerning a software interface/update strategy for IC4, autumn 2013.
- Gave a series of courses in formal methods for Banedanmark and the Danish Transport Authority, in 2010-2011.
- Wrote a report
entitled Effective Development and Verification of
Railway Control Software
for Banedanmark, January 2011.
- Wrote a report
entitled An Introduction to Formal Methods
for the Development of
Safety-critical Applications
for the Danish Transport Authority, August 2010.
Anne Haxthausen
2019-06-27