Designing Robust Software Systems through Parametric Markov Chain Synthesis

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2017) Designing Robust Software Systems through Parametric Markov Chain Synthesis. In: IEEE International Conference on Software Architecture (ICSA 2017). IEEE , pp. 1-10.

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © Copyright 2018 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Dates:
  • Published: April 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: 26 Sep 2021 10:14
Status: Published
Publisher: IEEE
Refereed: No

Download

Share / Export