Sign in

Combining human error verification and timing analysis: a case study on an infusion pump.

Rimvydas RuksenasPaul CurzonAnn BlandfordJonathan Back
Published in: Formal Aspects Comput. (2014)
Keyphrases
  • human interaction
  • test bed
  • case study
  • database
  • error rate
  • model checking
  • relative error
  • real time
  • decision making
  • expert systems
  • error bounds