Computational & Technology Resources
an online resource for computational,
engineering & technology publications
engineering & technology publications
Civil-Comp Proceedings
ISSN 1759-3433
ISSN 1759-3433
CCP: 104
PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON RAILWAY TECHNOLOGY: RESEARCH, DEVELOPMENT AND MAINTENANCE
PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON RAILWAY TECHNOLOGY: RESEARCH, DEVELOPMENT AND MAINTENANCE
Edited by: J. Pombo
Paper 299
Smart Railroad Maintenance Engineering with Stochastic Model Checking
D. Guck1 and J.-P. Katoen1,2 and M.I.A. Stoëlinga1, T. Luiten3 and J. Romijn4
1University of Twente, the Netherlands
2RWTH Aachen University, Germany
3ProRail, the Netherlands
4Movares Nederland, the Netherlands
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 £65 +P&P)