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

Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 and Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 (2017) Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. In: IEEE International Conference on Software Architecture (ICSA 2017). IEEE . (In Press)

Abstract

Metadata

Authors/Creators:
Dates:
  • Published: 2017
  • Accepted: 2017
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 10 Mar 2017 16:40
Last Modified: 08 Jun 2021 23:52
Status: In Press
Publisher: IEEE
Refereed: No

Download

Filename: OMNI_ICSA_camera_ready.pdf

Description: OMNI-ICSA-camera-ready

Share / Export