B method; Safety platform; Automated proof;
机译:手套测试系统:确保安全最高的安全性
机译:事故因果和预防中的协调性和一致性:多层系统中安全性的正式系统理论概念
机译:可修复和可重构系统安全分析模型的形式验证
机译:以负责任的安全性和CARLA驾驶模拟器为例,在系统级别上整合形式安全模型
机译:确保用于普遍健康监控系统的基于模型的生成代码的安全性。
机译:基于区块链的可追溯性系统可确保食品安全措施以保护消费者安全和Covid-19免费供应链
机译:作者:张莹莹,王莹,王莹,王建华
机译:确保空间软件安全的正式途径