机译:结合静态和运行时验证来验证面向数据和控件的属性:理论和工具
机译:动态流程图方法作为安全分析工具:可编程电子系统设计和验证
机译:评估动物健康实验室安全性和生物安全性的工具:粮食及农业组织的安全模块实验室的绘图工具
机译:Scyther工具:安全协议的验证,伪造和分析工具文件
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:评估动物健康实验室安全性和生物安全性的工具:粮食及农业组织实验室制图工具的安全模块
机译:Scyther工具:安全协议的验证,伪造和分析-工具文件