Browse by People


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


Webster, MP ORCID: 0000-0002-8817-6881, Breza, M, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M ORCID: 0000-0002-0875-3862 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-07-18 - 2018-07-19, Oxford University.


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

This list was generated on Sat Nov 28 17:08:26 2020 GMT.