已选(0)清除
条数/页: 排序方式:
|
| 基于动态语义的Java源程序分析 学位论文 2017 作者: 刘瑞 收藏  |  浏览/下载:15/0  |  提交时间:2019/12/05
|
| 同步数据流语言可信编译器的构造 期刊论文 2016, 2016 石刚; 王生原; 董渊; 嵇智源; 甘元科; 张玲波; 张煜承; 王蕾; 杨斐; SHI Gang; WANG Sheng-Yuan; DONG Yuan; JI Zhi-Yuan; GAN Yuan-Ke; ZHANG Ling-Bo; ZHANG Yu-Cheng; WANG Lei; YANG Fei 收藏  |  浏览/下载:3/0 |
| 集成电路验证技术 期刊论文 2015, 2015 刘卓军; 吴尽昭 收藏  |  浏览/下载:3/0  |  提交时间:2017/06/19
|
| ROS中XML-RPC协议实现的形式化验证 期刊论文 小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633 贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴 收藏  |  浏览/下载:48/0  |  提交时间:2016/12/09
|
| 基于概率检测组合模型的几何定理证明器 期刊论文 系统科学与数学, 2015, 卷号: 35, 页码: 627-644 作者: 陈明雁[1]; 曾振柄[2] 收藏  |  浏览/下载:2/0  |  提交时间:2019/04/30
|
| 质点几何定理证明的机器实现 期刊论文 科技视界, 2015, 卷号: 第15期, 页码: 96-97,168 作者: 苏贺靓; 江建国; 高华 收藏  |  浏览/下载:3/0  |  提交时间:2019/03/06
|
| 语义TABLEAU定理证明器的PROLOG实现 期刊论文 科技视界, 2015, 卷号: 第9期, 页码: 9-11 作者: 高华; 江建国; 苏贺靓 收藏  |  浏览/下载:2/0  |  提交时间:2019/03/07
|
| 基于Tableau的定理证明器的优化技术研究 学位论文 : 辽宁师范大学, 2015 作者: 高华 收藏  |  浏览/下载:1/0  |  提交时间:2019/03/01 |
| 运用定理证明器ACL2验证机器人操作系统ROS节点间通信 期刊论文 小型微型计算机系统, 2014, 卷号: 35, 页码: 2126-2130 作者: 高雅; 李晓娟; 关永; 王瑞; 张杰 收藏  |  浏览/下载:2/0  |  提交时间:2020/01/06
|
| 基于PVS的数据库安全策略形式化分析方法 期刊论文 中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕 收藏  |  浏览/下载:12/0  |  提交时间:2014/12/16
|