Browse by author
Lookup NU author(s): Dr Leo Freitas, Aaron Buhagiar, Dr Bill Scott III
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024. The logistics of advanced organ preservation techniques are taxing: medical devices either require constant trained-monitoring or provide support for transplant decisions. ScubaTx™, a Newcastle University/NHS spin-out company, is developing an automated medical device to improve the preservation and monitoring of organs for transplantation. One key feature is an accurate summary enabling clinicians to quickly understand the preservation process. SmartAudits is a variation (and extension) of the Timebands formalism used to aid clinicians’ decisions about organs. It has been applied to ScubaTx’s novel device.
Author(s): Freitas L, Buhagiar AJ, Scott III WE
Editor(s): Ana Cavalcanti, James Baxter
Publication type: Book Chapter
Publication status: Published
Book Title: The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I
Year: 2024
Volume: 14780
Pages: 131-152
Online publication date: 04/09/2024
Acceptance date: 02/04/2018
Series Title: Lecture Notes in Computer Science
Publisher: Springer
Place Published: Cham
URL: https://doi.org/10.1007/978-3-031-66676-6_7
DOI: 10.1007/978-3-031-66676-6_7
Library holdings: Search Newcastle University Library for this item
ISBN: 9783031666766