|
已选(0)清除
条数/页： 排序方式：
|
| 汉语押韵衔接的形式描写、功能验证以及理据探讨 期刊论文
语言与翻译, 2018, 卷号: 第1期, 页码: 5-15
作者: 王卫兵; 曹德和
  收藏 | 浏览/下载：8/0 | 提交时间：2019/04/17
|
| 公平交换协议的信道可信度形式化验证方法 Formal Verification Method for Fair Exchange Protocol by Channel Credibility 期刊论文
2018, 卷号: 39, 期号: 2, 页码: 240
作者: 杨晋吉[1]; 申涵瑞[1]; 陈清亮[2]
收藏 | 浏览/下载：11/0 | 提交时间：2019/12/13
|
| 核电厂FPGA仪控系统的验证研究 学位论文
2017, 2015
胡剑全
收藏 | 浏览/下载：6/0 | 提交时间：2017/06/20
|
| 基于时间自动机的时序约束活动异常监测系统形式化验证 学位论文
: 大连理工大学, 2017
作者: 查欣欣
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/03
|
| 基于形式验证的HDLC协议验证 期刊论文
中国新通信, 2017, 页码: 22
作者: 张凡; 王小力
收藏 | 浏览/下载：3/0 | 提交时间：2019/11/26
|
| 面向物联网终端的状态机代码生成方法的研究与实现 学位论文
2017
作者: 李明忠
收藏 | 浏览/下载：2/0 | 提交时间：2019/11/26
|
| 基于形式验证的HDLC协议验证 期刊论文
中国新通信, 2017
作者: 张凡; 王小力
收藏 | 浏览/下载：9/0 | 提交时间：2019/11/26
|
| 基于Alloy的两个群定义的等价性验证 期刊论文
应用数学进展, 2017, 卷号: 第6卷
作者: 邹科; 江建国; 徐月; 张新钢
收藏 | 浏览/下载：2/0 | 提交时间：2019/03/06
|
| 一种面向多线程的编译验证模型 学位论文
2017
作者: 张晓曈
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/05
|
| 基于动态语义的Java源程序分析 学位论文
2017
作者: 刘瑞
收藏 | 浏览/下载：15/0 | 提交时间：2019/12/05
|
