Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement

Colin Paterson, Radu Calinescu. Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. In 2017 IEEE International Conference on Software Architecture, ICSA 2017, Gothenburg, Sweden, April 3-7, 2017. pages 121-130, IEEE, 2017. [doi]

Abstract

Abstract is missing.