Your query returned 2 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)