Sign in

A Secure User-Centred Healthcare System: Design and Verification.

Eduard BaranovJuliana BowlesThomas Given-WilsonAxel LegayThais 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