- Smart Railroad Maintenance Engineering with Stochastic Model Checking,
D. Guck and J.-P. Katoen and M.I.A. Stoëlinga, T. Luiten and J. Romijn
Paper 24.299 from CCP: 104, ISBN 978-1-905088-59-1 (2014)
Computational & Technology Resources
an online resource for computational,
engineering & technology publications
engineering & technology publications
Search results
Your query returned 1 result.