Computational & Technology Resources
an online resource for computational,
engineering & technology publications
engineering & technology publications
Civil-Comp Proceedings
ISSN 1759-3433
ISSN 1759-3433
CCP: 105
PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENGINEERING COMPUTATIONAL TECHNOLOGY
PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENGINEERING COMPUTATIONAL TECHNOLOGY
Edited by: P. Iványi and B.H.V. Topping
Paper 16
Testing Automation based on Formalised Test Case Generation
M. Meyer zu Hörste1, L. Asbach1, O. Röwer1 and S. Geraci2
1German Aerospace Centre (DLR), Institute of Transportation Systems, Braunschweig, Germany
2EEIG ERTMS Users Group, Brussels, Belgium
To purchase the full-text of this paper with electronic delivery (price £20) please agree to the terms and conditions and click the button below. To learn more about the purchase process and how your paper will be delivered, please see the purchase guide.
return to summary of this paper
return to the table of contents
return to the book description
purchase this book (price £45 +P&P)