Now showing items 1-1 of 1

    • 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 ...