Formal Verification of a Multi-Basal Insulin Infusion Control Model
Conference Proceeding
Overview
publication date
- January 1, 2017
Date in CU Experts
- February 1, 2018 9:10 AM
Full Author List
- Chen X; Dutta S; Sankaranarayanan S
author count
- 3
Additional Document Info
start page
- 75
end page
- 91
volume
- 48