3 citations · 12 across the 22 of their papers we have counts for
1 paper · 2 filters
Xinwei Fang, Radu Calinescu, Simos Gerasimou +1
Parametric model checking (PMC) computes algebraic formulae that express key non-functional properties of a system (reliability, performance, etc.) as rational functions of the sys…