Insulin Infusion Pump (IIP); Event-B; Refinement; Formal methods; Verification; Validation;
机译:逐步升级治疗晚期住院的2型糖尿病老年患者的胰岛素需求模型研究
机译:通过连续皮下胰岛素输注对患有2型糖尿病和高胰岛素要求进行皮下注射的人常规U-500胰岛素的药代动力学和药效学。
机译:灵活的胰岛素治疗胰岛素含有杂交方案和泵悬浮液的连续皮下胰岛素输注,然后在物理活性成人锻炼前进行1型糖尿病(FITSETERED):单中心,开放标签,概念证明,随机交叉 审判
机译:逐步正式建模和推理胰岛素输液泵要求
机译:评估1型糖尿病两种基础胰岛素递送方法的低血糖风险:使用来自连续葡萄糖监测器的数据进行TRESIBA胰岛素对连续皮下胰岛素输注的比较
机译:艾滋病毒与结核病合并感染定性模型和HAART治疗的正式推理
机译:基于形式化方法的PCA输液泵参考模型的开发:通用输液泵(GIP)项目
机译:安全风险,低技术用户界面和植入式医疗设备:胰岛素泵输液系统的案例研究。