Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines



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.

[img] 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