Publications

Export 2 results:
[ Author(Desc)] Title Type Year
Filters: Author is D. Guck  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
G
Guck D., Timmer M., Hatefi H., Ruijters E.JJ, Stoelinga M.IA.  2014.  Modelling and analysis of Markov reward automata. Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, Sydney, NSW, Australia. 8837:168–184.
Guck D..  2017.  Reliable systems - Fault tree analysis via Markov reward automata.