退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于处理LTL软件模型检查中的源代码位置和局部变量
Guillaume Hétier; Hanifa Boucheneb;
机译:软件模型检查:提取验证模型表格源代码
机译:没有源代码的软件模型检查
机译:LTL满意度检查的变量和子句消除
机译:从大型软件库中检索源代码以进行自动错误定位。
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:软件模型检查 - 从源代码中提取验证模型
机译:LTL模型检查系统,LTL模型检查方法和LTL模型检查程序
机译:用于翻译软件程序功能以处理例如变量的系统。计算系统,具有识别单元,用于确定局部平面上已使用的变量,局部平面上的钢绞线公用和钢绞线专用变量
机译:源语言,该软件包括如何处理独立中间表示的异常处理结构,多种源代码语言,源语言独立异常处理系统以及用于实现中间表示的计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。