Runtime Quantitative Verification of Self-Adaptive Systems

Gerasimou, Simos (2016) Runtime Quantitative Verification of Self-Adaptive Systems. PhD thesis, University of York.



Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID (e.g.
Depositing User: Dr Simos Gerasimou
Date Deposited: 31 Mar 2017 16:10
Last Modified: 24 Jul 2018 15:21


Examined Thesis (PDF)

Filename: thesis.pdf

Description: Simos Gerasimou PhD thesis

Licence: Creative Commons Attribution Non-commercial No Derivatives (UK)

Share / Export

You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.