退出
我的积分:
中文文献批量获取
外文文献批量获取
张春永;
盐城工学院信息工程学院;
符号模型检测; 计算树逻辑CTL; NuSMV; Kerberos协议;
机译:BPMN模型的形式分析:一种基于NuSMV的方法
机译:NuSMV时序分析和调度
机译:基于NUSMV的滑动窗口协议的正式模型与分析
机译:使用NuSMV建模新鲜度概念以克服Kerberos协议中的重播攻击
机译:在纳斯达克综合指数的背景下检验有效市场假说的弱形式:人工神经网络预测能力的检验。
机译:使用封闭形式Wald检验对基因-基因和基因-环境相互作用进行全基因组分析
机译:基于NuSMV的滑动窗口协议形式化模型与分析。
机译:残差的检验与分析:从原点检验回归中均值与方差的单调关系的检验。
机译:车载排气分析系统,车载排气分析系统检验系统,车载尾气分析系统的检验方法,以及检验方案
机译:检验结果分析方法和检验结果分析设备,异常设备检测方法和异常设备检测设备,用于使计算机执行检验结果分析方法或异常设备检测方法的程序以及记录该程序的计算机可读记录
机译:分析包含对象检验的体积表示形式的数据集的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。