2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Radu Calinescu, Colin Paterson, Kenneth Johnson
We introduce an efficient parametric model checking (ePMC) method for the analysis of reliability, performance and other quality-of-service (QoS) properties of software systems. eP…