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