3 citations · 14 across the 23 of their papers we have counts for
1 paper · 1 filter
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…