Observation-enhanced verification of operational processes

Paterson, Colin (2018) Observation-enhanced verification of operational processes. PhD thesis, University of York.



Supervisors: Calinescu, Radu
Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID: uk.bl.ethos.770297
Depositing User: Dr Colin Paterson
Date Deposited: 25 Mar 2019 12:25
Last Modified: 19 Feb 2020 13:08


Examined Thesis (PDF)



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.