Sign in

A Workflow for Healthcare Systems via OCL and SMT Solving.

Hao WuLaure HinsbergerJoseph Timoney
Published in: SEHS@ICSE (2018)
Keyphrases
  • healthcare systems
  • data mining
  • decision making
  • management system
  • test cases
  • business process
  • metamodel