...
机译:通过形式验证方法提高医疗设备软件的可信度
Department of EE, Princeton University,|c|;
Formal verification; medical device software; safety; security;
机译:基于形式化方法的医疗器械软件分析验证
机译:Echo:基于Ada的形式验证的新方法:安全和医疗设备的技术和经验
机译:使用Z语言对医疗监控软件进行形式验证:代表性样本。
机译:医疗器械向混合纳米和微系统验证的形式化方法
机译:用于安全关键医疗设备软件控制的正式验证技术。
机译:经过验证的可信赖软件系统
机译:考虑严格硬件限制的医疗设备中嵌入式软件的半正式验证