Collaborated with:
R.Calinescu
Talks about:
properti (1) softwar (1) qualiti (1) analysi (1) observ (1) markov (1) refin (1) chain (1) accur (1) base (1)
Person: Colin Paterson
DBLP: Paterson:Colin
Contributed to:
Wrote 1 papers:
- ICSA-2017-PatersonC #analysis #markov #quality #refinement
- Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement (CP, RC), pp. 121–130.