Browse by People


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


Dinmohammadi, Fateme, Flynn, David, Fisher, Michael, Jump, Michael ORCID: 0000-0002-1028-2334, Page, Vincent, Robu, Valentin, Patchett, Charles, Tang, Wenshuo and Webster, MP ORCID: 0000-0002-8817-6881
(2019) Certification of Safe and Trusted Robotic Inspection of Assets. In: 2018 Prognostics and System Health Management Conference, 2018-10-26 - 2018-10-28.


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, MP ORCID: 0000-0002-8817-6881, Breza, Michael, Dixon, Clare, Fisher, Michael and McCann, Julie
PRISM Models and Properties for Formal Verification of a Synchronisation/Dissemination Protocol. [Software]


Page, Vincent, Webster, MP ORCID: 0000-0002-8817-6881, Fisher, Michael and Jump, Mike ORCID: 0000-0002-1028-2334
(2019) Towards a Methodology to Test UAVs in Hazardous Environments. In: ICAS 2019, The Fifteenth International Conference on Autonomic and Autonomous Systems.

This list was generated on Sat Mar 23 08:46:56 2024 GMT.