%0 Conference Paper %1 conf/rv/CameronFMS15 %A Cameron, Fraser %A Fainekos, Georgios %A Maahs, David M. %A Sankaranarayanan, Sriram %B RV %D 2015 %E Bartocci, Ezio %E Majumdar, Rupak %I Springer %K dblp %P 3-17 %T Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. %U http://dblp.uni-trier.de/db/conf/rv/rv2015.html#CameronFMS15 %V 9333 %@ 978-3-319-23819-7

@inproceedings{conf/rv/CameronFMS15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Cameron, Fraser and Fainekos, Georgios and Maahs, David M. and Sankaranarayanan, Sriram}, biburl = {https://www.bibsonomy.org/bibtex/2ece12a0685a2410af0bb8ff231fb0ba3/dblp}, booktitle = {RV}, crossref = {conf/rv/2015}, editor = {Bartocci, Ezio and Majumdar, Rupak}, ee = {https://doi.org/10.1007/978-3-319-23820-3_1}, interhash = {d432f6ec7d7999b489bd3cec8924f987}, intrahash = {ece12a0685a2410af0bb8ff231fb0ba3}, isbn = {978-3-319-23819-7}, keywords = {dblp}, pages = {3-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:27:47.000+0200}, title = {Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2015.html#CameronFMS15}, volume = 9333, year = 2015 }