Login / Signup

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.

Rajeev AlurDavid ArneyElsa L. GunterInsup LeeJaime LeeWonhong NamFrederick PearceStephen Van AlbertJiaxiang Zhou
Published in: Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
  • computer assisted
  • learning algorithm
  • optimal solution
  • control system
  • machine learning
  • neural network
  • k means
  • formal specification
  • source code
  • reverse engineering