Visible to the public An Intraoperative Glucose Control Benchmark for Formal Verification

TitleAn Intraoperative Glucose Control Benchmark for Formal Verification
Publication TypeJournal Article
Year of Publication2015
AuthorsChen, Sanjian, O'Kelly, Matthew, Weimer, James, Sokolsky, Oleg, Lee, Insup
JournalIFAC-PapersOnLine
Volume48
Pagination211–217
Keywords1035715
Citation Keychen2015intraoperative