On the sensitivity analysis of the expected accumulated reward
Performance Evaluation
Model checking Markov chains using Krylov subspace methods: an experience report
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Hi-index | 0.01 |