退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用SPIN的模型检查安全关键软件:在铁路联锁系统中的应用
Cimatti Giunchiglia Mongardi; F. Traverso P; Alessandro Cimatti; Fausto Giunchiglia; Giorgio Mongardi; Dario Romano;
机译:检查安全关键系统软件的方法学方法
机译:通过将赛事-b转换为SMV将定理证明和模型检查在安全关键软件开发中结合
机译:核工程领域中安全关键软件的模型检查
机译:模型检查安全关键软件与旋转:铁路互锁系统的应用
机译:使用SPIN对商业协作软件系统的故障转移协议进行模型检查
机译:确保计算心脏模型的安全性至关重要的临床应用的可靠性
机译:铁路联锁系统模型检查
机译:安全关键分布式存储系统安全检查软件设计的模型检查方法
机译:安全关键型分布式存储系统安全检查软件设计的模型检查方法
机译:安全关键型分布式存储系统安全检查软件设计中的模型检查方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。