Browsing by Author "Quan, Wenji"
Now showing items 1-1 of 1
- Sort by:
- title
- issue date
- submit date
- Order:
- ascending
- descending
- Results:
- 5
- 10
- 20
- 40
- 60
- 80
- 100
-
Improving Robustness Falsification for Medical Device Software
Quan, Wenji (Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2021)The artificial Pancreas(AP) is a closed-loop system based on the combination of a continuous glucose monitor, a computer-controlled algorithm, and an insulin pump (Blauw et al., 2016). Insulin pumps are designed for ...