退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:带有CMC的模型检查系统软件
Madanlal Musuvathi; Andy Chou; David L. Dill; Dawson Engler;
机译:使用软件模型检查来验证协议一致性,以进行嵌入式系统的模型驱动开发
机译:软件模型检查专刊的序言:第20届国际SPIN软件模型检查研讨会论文选集
机译:证明辅助的软件和系统模型的有界和无界符号模型检查
机译:使用CMC进行模型检查系统软件
机译:分布式系统软件模型检查的算法,启发式和系统方法
机译:使用DNA序列和微卫星数据通过软件DIYABC(v1.0)推断种群历史并进行模型检查
机译:用CmC模型检查系统软件
机译:安全关键分布式存储系统安全检查软件设计的模型检查方法
机译:安全关键型分布式存储系统安全检查软件设计的模型检查方法
机译:安全关键型分布式存储系统安全检查软件设计中的模型检查方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。