An Intraoperative Glucose Control Benchmark for Formal Verification
Title | An Intraoperative Glucose Control Benchmark for Formal Verification |
Publication Type | Journal Article |
Year of Publication | 2015 |
Authors | Chen, Sanjian, O'Kelly, Matthew, Weimer, James, Sokolsky, Oleg, Lee, Insup |
Journal | IFAC-PapersOnLine |
Volume | 48 |
Pagination | 211–217 |
Keywords | 1035715 |
Citation Key | chen2015intraoperative |