Your query returned 3 results.

• Formal Based Tests for Conformity and Interoperability of Rail Systems,
  L. Asbach, H. Hungar and M. Meyer zu Hörste
  Paper 20.246 from CCP: 110, ISBN 978-1-905088-65-2 (2016)
  
• Testing Automation based on Formalised Test Case Generation,
  M. Meyer zu Hörste, L. Asbach, O. Röwer and S. Geraci
  Paper 1.16 from CCP: 105, ISBN 978-1-905088-60-7 (2014)
  
• Operational and Technical Testing of the European Train Control System,
  L. Ebrecht, M. Meyer zu Hörste and K. Lemmer
  Paper 179 from CCP: 98, ISBN 978-1-905088-53-9 (2012)