科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:PVS:组合规格,证明检查和模型检查
S. Owre; S. Rajan; J. M. Rushby; N. Shankar; M. Srivas;
机译:迈向组合模型检查和证明检查
机译:使用RAISE对Mondex电子钱包进行规格,证明和模型检查
机译:结合证明和模型检查来验证可重新配置的体系结构
机译:用于实时规范的模型检查$$$$模型检查和符号模型检查
机译:将类型检查与模型检查相结合以进行系统验证
机译:模型检测技术在截尾线性回归模型评估函数形式规格
机译:结合模型检查和证明检查
机译:使用CrossCheck检查型号规格
机译:规格模型检查方法及规格模型检查装置
机译:在制造机器产品的过程中确定参数规格,包括对第一过程子模型执行自动有效性检查,并自动确定参数规格以达到目标尺寸
机译:软件规格检查服务器,软件开发方法,软件开发系统,记录介质记录软件规格检查程序,以及记录介质记录软件开发程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。