Formal Verification of a Multi-Basal Insulin Infusion Control Model Conference Proceeding uri icon

Overview

publication date

  • January 1, 2017

Full Author List

  • Chen X; Dutta S; Sankaranarayanan S

Additional Document Info

start page

  • 75

end page

  • 91

volume

  • 48