Browsing by Author "Rosenblum, David S."
Now showing 1 - 2 of 2
- Results Per Page
- Sort Options
Item Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters(Institute of electrical and electronics engineers, 2016) Su, Guoxin; Feng, Yuan; Chen, Taolue; Rosenblum, David S.Item Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis(2013) Duboc, Leticia; Letier, Emmanuel; Rosenblum, David S.