3 citations · 14 across the 23 of their papers we have counts for
1 paper · 1 filter
Xinwei Fang, Radu Calinescu, Simos Gerasimou +1
We present an efficient parametric model checking (PMC) technique for the analysis of software performability, i.e., of the performance and dependability properties of software sys…