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 |