Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.


Al-Shareefi, F ORCID: 0000-0002-5537-6086, Lisitsa, A and Dixon, C ORCID: 0000-0002-4610-9533
(2017) Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. In: 20th Brazilian Symposium on Formal Methods, Recife, Brazil.


Al-Shareefi, F ORCID: 0000-0002-5537-6086, Lisitsa, A and Dixon, C ORCID: 0000-0002-4610-9533
(2018) Clarification of ambiguity for the simple authentication and security layer. .

This list was generated on Mon Oct 14 07:33:01 2019 BST.