Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is Fault Maintenance Trees and Author is D. Guck  [Clear All Filters]
2017
Guck D..  2017.  Reliable systems - Fault tree analysis via Markov reward automata.
2016
Ruijters E.JJ, Guck D., Drolenga P., Peters M., Stoelinga M.IA.  2016.  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