Up a level |
Number of items: 1.
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.