|
[PC17]
Colin Paterson and Radu Calinescu.
Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement.
In Proc. IEEE International Conference on Software Architecture (ICSA'17).
2017.
[Presents an approach for integrating observation data into quality-of-service analysis of component-based systems, using PRISM for model analysis.
]
|
|
Links:
[Google]
[Google Scholar]
|