Browse by People


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


Farrell, M ORCID: 0000-0001-7708-3877, Bradbury, M, Yuan, H, Fisher, M, Dennis, L ORCID: 0000-0003-1426-1896, Dixon, C ORCID: 0000-0002-4610-9533 and Maple, C
(2019) Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages. In: International Conference on Software Engineering and Formal Methods.


Ahmed, WUR, Bhatia, S, McLean, KA, Khaw, R, Baker, D, Kamarajah, SK, Bell, S, Nepogodiev, D, Harrison, EM, Glasbey, JC
et al (show 4087 more authors) (2022) Validation of the OAKS prognostic model for acute kidney injury after gastrointestinal surgery. BJS OPEN, 6 (1). zrab150-.

This list was generated on Fri Feb 9 15:14:36 2024 GMT.