Browse by People

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.

Webster, M ORCID: 0000-0002-8817-6881, Breza, M, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and McCann, J (2019) Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks. Electronic Communications of the EASST, 76.