Abstract

Using Formal Methods to Improve Home-Use Medical Device Safety

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Closing the loop
Eran Atlas ... Moshe Phillip
International Journal of Clinical Practice | VOL. 66
Eran Atlas, et. al.Eran Atlas ... Moshe Phillip
01 Feb 2012
Closed-Loop Artificial Pancreas Using Subcutaneous Glucose Sensing and Insulin Delivery and a Model Predictive Control Algorithm: The Virginia Experience
Boris Kovatchev ... Laurissa Kashmer
Journal of Diabetes Science and Technology | VOL. 3
Boris Kovatchev, et. al.Boris Kovatchev ... Laurissa Kashmer
01 Sep 2009
Journal of Diabetes News
Kelly L Close ... Melissa Y Tjota
Journal of Diabetes | VOL. 2
Kelly L Close, et. al.Kelly L Close ... Melissa Y Tjota
16 Aug 2010
Free-living use of artificial pancreas for children with type 1 diabetes: systematic review
Dmitry N Laptev ... Marina V Shestakova
Diabetes mellitus | VOL. 21
Dmitry N Laptev, et. al.Dmitry N Laptev ... Marina V Shestakova
23 Aug 2018
View more papers

More From: Biomedical Instrumentation & Technology

Paper Title
Journal
Date
Author
Signaling Patient Oxygen Desaturation with Enhanced Pulse Oximetry Tones
Robert G Loeb ... Penelope M Sanderson
Biomedical Instrumentation & Technology | VOL. 56
Robert G Loeb, et. al.Robert G Loeb ... Penelope M Sanderson
01 Apr 2022
Detecting Unusual Intravenous Infusion Alerting Patterns with Machine Learning Algorithms
Denny Yu ... Poching Delaurentis
Biomedical Instrumentation & Technology | VOL. 56
Denny Yu, et. al.Denny Yu ... Poching Delaurentis
01 Apr 2022
Guidance and Insight from the Healthcare and Public Health Sector Coordinating Council
Samantha Jacques
Biomedical Instrumentation & Technology | VOL. 56
Samantha JacquesSamantha Jacques
01 Jan 2021
Streamlining Management of Postmarket Security Vulnerabilities
Ken Hoyme
Biomedical Instrumentation & Technology | VOL. 56
Ken HoymeKen Hoyme
01 Jan 2021
View more papers