A secure user-centred healthcare system: design and verification

E. Baranov^*, J. Bowles, T. Given-Wilson, A. Legay, T. Webber

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Book

1 results

Filter

2022

From data to models and back: 10th international symposium, DataMod 2021, virtual event, December 6–7, 2021, revised selected papers
Kuster Filipe Bowles, J. (Editor), Broccia, G. (Editor) & Pellungrini, R. (Editor), 15 Oct 2022, Cham: Springer. 193 p. (Lecture notes in computer science; vol. 13268)
Research output: Book/Report › Book