科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
黄鹏;
华南师范大学 计算机学院;
广东 广州 510631;
安全协议; 安全漏洞; NSSK; SPIN; 模型检测;
机译:对于自旋模型检查器自动转换方法SPIN模型检查器和自动转换方法SPIN模型Testimulator到UML描述从上游设计验证环境到模型检测过程
机译:检测TMPRSS2的协议标准化:ERG融合以及EZH2,SPINK-1和NKX3.1基因在前列腺癌(CaP)中的表达
机译:maspin逆转录酶聚合酶链反应检测maspin对患有常规剂量化疗的乳腺癌患者的循环肿瘤细胞的检测。
机译:改进的NSSK认证协议及其形式分析
机译:使用SPIN对商业协作软件系统的故障转移协议进行模型检查
机译:基于模型的信息共享协议用于HIV-1重组检测的配置文件隐马尔可夫模型
机译:一种基于spIN的电信协议模型检查器
机译:高T亚c超导体RVB模型中的有效spinon-spinon和Holon-Holon相互作用。
机译:spink2突变肽,多核苷酸,载体,细胞,生产spink2突变肽的方法,鉴定与年龄相关的黄斑变性的治疗药物或预防药物,鉴定视网膜保护剂并制备模型兔和视网膜损伤,偶联物,抗体,组成,药物组成和兔视网膜损伤模型。
机译:用于监视新可再生能源的电量数据的基于元模型的协议的小批量传输的数据转换方法和用于监视新可再生能源的电量数据的基于元模型的协议的小批量传输的数据传输系统
机译:监测量新能源的基于元模型的协议的小量传输的数据传输方法,基于监测量新能源的基于元模型的协议的小量传输数据传输系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。