Login / Signup
A Secure User-Centred Healthcare System: Design and Verification.
Eduard Baranov
Juliana Bowles
Thomas Given-Wilson
Axel Legay
Thais Webber
Published in:
DataMod (2021)
Keyphrases
</>
user centred
digital libraries
context aware
functional verification
multimedia
user interface
human computer interaction
cost effective
model checking
formal verification