Software engineering; Cryptographic systems; System requirements; Case study; Simulators; Specifications; Error detection; Security properties; Models; Tools;
机译:将形式化方法应用于医疗设备的案例研究:计算机辅助复苏算法
机译:Echo:基于Ada的形式验证的新方法:安全和医疗设备的技术和经验
机译:将正式方法应用于协议规范和系统架构的经验
机译:将正式方法应用于信息安全设备:经验报告
机译:使用局部-全局关系将形式化方法应用于分布式算法。
机译:发生什么正式的安全方法?
机译:将形式化方法应用于信息安全设备:体验报告