Export 2 results:Author Title Type [ Year]
Filters: Keyword is Fault Maintenance Trees and Author is D. Guck [Clear All Filters]
Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016, Québec City, Canada. 9826. 2016.