Sign in

Use runtime verification to improve the quality of medical care practice.

Yu JiangHan LiuHui KongRui WangMohammad HosseiniJia-Guang SunLui Sha
Published in: ICSE (Companion Volume) (2016)
Keyphrases
  • medical care
  • case based reasoning
  • model checking
  • databases
  • information systems
  • information extraction
  • decision makers