AbsInt GmbH Science Park 1 66123 Saarbruecken Germany;
机译:用户界面软件的验证:与使用相关的安全要求和可编程医疗设备的示例
机译:回复“评论:结合CPN和PVS开发安全关键软件需求验证方法:核电站保护系统应用程序”
机译:评论:结合CPN和PVS的安全关键软件需求验证方法的开发:核电站保护系统应用
机译:应用抽象解释来验证EN-50128软件安全要求
机译:验证具体软件环境中的抽象组件。
机译:开发安全胰岛素泵软件的通用安全要求
机译:验证嵌入式系统的安全关键时序和内存使用特性 摘要解释软件
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件