科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
黄达明; 曾庆凯;
南京大学;
计算机软件新技术国家重点实验室;
江苏;
南京;
210093;
计算机科学与技术系;
可信软件; 程序验证; 霍尔逻辑; 分离逻辑; 定理证明;
机译:使用Sepax分离人脂肪组织来源的细胞的自动化程序的验证技术
机译:多线程Java程序的基于权限的分离逻辑
机译:基于程序几何建模的循环和数据重用转换自动验证技术
机译:使用分离逻辑增强基于堆的程序的符号执行,以生成测试输入
机译:Coq中基于分离逻辑的程序验证
机译:行走安全:基于模糊逻辑应用程序的安全路由规划算法和行人的交叉意图探测器
机译:基于逻辑的基于逻辑的逻辑框架,用于上下文化部署的应用程序
机译:基于消息传递语义的并行程序规范与验证技术。
机译:具有主要/辅助应用程序客户端逻辑的移动通信系统,其中客户端逻辑设置有提供客户端逻辑驱动/接收响应/监督的客户端应用程序分离的应用程序。
机译:逻辑验证技术和逻辑验证装置
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。