Automatic Selection of Statistical Model Checkers for Analysis of Biological Models

Bakir, Mehmet Emin (2017) Automatic Selection of Statistical Model Checkers for Analysis of Biological Models. PhD thesis, University of Sheffield.

Abstract

Metadata

Supervisors: Stannett, Mike and Gheorghe, Marian
Awarding institution: University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Computer Science (Sheffield)
The University of Sheffield > Faculty of Science (Sheffield) > Computer Science (Sheffield)
Identification Number/EthosID: uk.bl.ethos.742336
Depositing User: Mehmet Bakir
Date Deposited: 04 Jun 2018 09:24
Last Modified: 12 Oct 2018 09:54

Download

PhD thesis

Filename: MehmetEminBAKIR_Thesis.pdf

Description: PhD thesis

Licence: Creative Commons Licence
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 2.5 License

Export

Statistics


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.