Verifiable Self-Certifying Autonomous Systems



Fisher, Michael, Collins, Emily ORCID: 0000-0001-9396-536X, Dennis, Louise ORCID: 0000-0003-1426-1896, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Webster, Matt ORCID: 0000-0002-8817-6881, Jump, Mike ORCID: 0000-0002-1028-2334, Page, Vincent, Patchett, Charles, Dinmohammadi, Fateme, Flynn, David
et al (show 2 more authors) (2018) Verifiable Self-Certifying Autonomous Systems. In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018-10-15 - 2018-10-18.

[img] Text
PID5539853.pdf - Accepted Version

Download (453kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 11 Sep 2018 10:58
Last Modified: 14 Sep 2021 10:52
DOI: 10.1109/issrew.2018.00028
URI: https://livrepository.liverpool.ac.uk/id/eprint/3025678