Browsing byAuthorRosenblum, DS
Showing results 2 to 3 of 3< previous
Issue Date | Title | Author(s) |
---|---|---|
2014-01-01 | Perturbation analysis in verification of Discrete-time Markov Chains | Chen, T; Feng, Y; Rosenblum, DS; Su, G |
2017-07-19 | ProEva: Runtime proactive performance evaluation based on continuous-time markov chains | Su, G; Chen, T; Feng, Y; Rosenblum, DS |