Al-Shareefi, Farah ORCID: 0000-0002-5537-6086
(2019)
Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines.
PhD thesis, University of Liverpool.
Text
201064366_Sep2019.pdf - Unspecified Download (6MB) | Preview |
Item Type: | Thesis (PhD) |
---|---|
Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
Depositing User: | Symplectic Admin |
Date Deposited: | 02 Oct 2019 09:50 |
Last Modified: | 19 Jan 2023 00:25 |
DOI: | 10.17638/03056467 |
Supervisors: |
|
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3056467 |
Dimensions
Altmetric
Share
CORE (COnnecting REpositories)