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: 07 Oct 2019 07:10
URI: http://livrepository.liverpool.ac.uk/id/eprint/3056467
Repository Staff Access