退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:从基于传递 - 闭合的模型检查中提取反脉络数
Mitchell Kember; Lynn Tran; George Gao; Nancy Day;
机译:基于递奏的基于模型检查(TCMC)
机译:模型检查中的反例-调查德比|信息学
机译:基于启发式PSO算法的随机模型检查反例生成
机译:ω-自动机的抽象和反例指导构造,用于逐步离散线性混合模型的模型检查
机译:将类型检查与模型检查相结合以进行系统验证
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:ω-automata模型检查阶梯式线性混合模型的抽象和强调引导施工
机译:混合系统模型检测中的抽象与反例引导细化
机译:模型检查装置,模型检查方法以及模型检查程序
机译:模型检查程序,模型检查方法,模型检查设备
机译:LTL模型检查系统,LTL模型检查方法和LTL模型检查程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。