Fraser, Douglas (2025) Applications of model checking in the context of cyber security for digital twins. PhD thesis, University of Glasgow.
Due to Embargo and/or Third Party Copyright restrictions, this thesis is not available in this service.Abstract
Abstract not currently available.
| Item Type: | Thesis (PhD) |
|---|---|
| Qualification Level: | Doctoral |
| Additional Information: | Supported by funding from EPSRC Industrial Case account EP/V519686/1. |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software |
| Colleges/Schools: | College of Science and Engineering > School of Computing Science |
| Funder's Name: | UNSPECIFIED, Engineering and Physical Sciences Research Council (EPSRC) |
| Supervisor's Name: | Miller, Professor Alice |
| Date of Award: | 2025 |
| Embargo Date: | 1 September 2025 |
| Depositing User: | Theses Team |
| Unique ID: | glathesis:2025-85282 |
| Copyright: | Copyright of this thesis is held by the author. |
| Date Deposited: | 02 Jul 2025 10:30 |
| Last Modified: | 02 Jul 2025 10:30 |
| URI: | https://theses.gla.ac.uk/id/eprint/85282 |
Actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
Tools
Tools
