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



Al-Shareefi, Farah
(2019) Analysing Safety-Critical Systems and Security Protocols with Abstract State Machines. PhD thesis, University of Liverpool.

[img] Text
201064366_Sep2019.pdf

Download (6MB) | Preview
Item Type: Thesis (PhD)
Divisions: Fac of Science & Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 02 Oct 2019 09:50
Last Modified: 09 Jan 2021 03:07
DOI: 10.17638/03056467
Supervisors:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3056467