Webster, MP 
ORCID: 0000-0002-8817-6881, Breza, M, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and McCann, J
(2018)
Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems.
In: International Workshop on Automated Verification of Critical Systems (AVoCS), 2018-7-18 - 2018-7-19, Oxford University.
![[img]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
Text
Webster et al(1).pdf - Author Accepted Manuscript Download (440kB) |
| Item Type: | Conference or Workshop Item (Unspecified) |
|---|---|
| Depositing User: | Symplectic Admin |
| Date Deposited: | 31 May 2018 06:20 |
| Last Modified: | 19 Jan 2023 01:33 |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3021921 |
Share
Share
Share
CORE (COnnecting REpositories)