退出
我的积分:
中文文献批量获取
外文文献批量获取
钱振江; 黄皓; 宋方敏;
常熟理工学院计算机科学与工程学院;
南京大学软件新技术国家重点实验室;
操作系统; 内核硬件抽象模型; 形式化验证; Isabelle/HOL; 定理证明;
机译:SPARC指令集架构和TSO内存模型的isabelle / HOL形式化
机译:形式化网络流算法:Isabelle / HOL中的改进方法
机译:关于形式本体的计算实现:以Isabelle / HOL为例,对时空实例化本体进行形式化
机译:使用模型驱动工程和Isabelle / HOL的可重构离散事件系统的形式化和验证
机译:在HOL中构建已验证的硬件和已验证的堆栈
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:HOL2GDT基于形式验证的设计方法
机译:基于统一电话地址获取基于Web的硬件和软件的在线状态,身份验证,验证,授权,通信和交易服务的方法和系统,以及数字证书(dc)的组成,发行和管理提供的方法基于DC和公钥基础结构(PKI)的多层DC分配模型和多个帐户访问
机译:用于硬件验证的编程语言模型生成设备,用于硬件验证的编程语言模型生成方法,计算机系统,硬件仿真方法,控制程序和计算机可读存储介质
机译:硬件验证编程语言模型生成装置,硬件验证编程语言模型生成方法,计算机系统,硬件模拟方法,控制程序和可读存储介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。