退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于传送并发程序的LTL模型检查
Adrien Pommellet; Tayssir Touili;
机译:使用有限跟踪对ANSI-C程序进行模型检查LTL属性
机译:细化结构启发式方法,以通过数据挖掘对并发程序进行模型检查
机译:用于传输并发程序的LTL模型检查
机译:使用程序变异进行故障检测技术的经验评估:并发测试和模型检查的比较
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:通过LTL模型检查来验证并发列表操作程序
机译:LTL模型检查系统,LTL模型检查方法和LTL模型检查程序
机译:使用偏序和即时交易的并发程序符号模型检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。