Formal methods; Model-based development; Medical devices; User interface prototyping;
机译:可用性测试在医疗设备开发中的应用。常用输液泵的可用性测试以及采用人为因素开发的输液泵的新用户界面
机译:用于分析输液泵软件中使用危害的通用用户界面体系结构
机译:PVSio-web:用于在PVS中快速制作设备用户界面原型的工具
机译:基于模型的PVS通用PCA输液泵用户界面原型的开发
机译:基于安全性模型的GPCA输液泵实时嵌入式软件开发
机译:遵循可用性工程生命周期对容积式输液泵的接口进行重新设计和原型设计
机译:PVS中通用PCA输液泵用户界面原型的基于模型的开发
机译:安全风险,低技术用户界面和植入式医疗设备:胰岛素泵输液系统的案例研究。