Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor
Enno Ruijters, Dennis Guck, P. Drolenga, M. Peters +1 more
2016International Conference on Quantitative Evaluation of Systems23 citations Open access
Semantic Scholar

