|
已选(0)清除
条数/页： 排序方式：
|
| 格值有限自动机等价判定算法 期刊论文
http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=jsgg200622011&dbcode=CJFQ&dbname=CJFQ2006, 2012, 2012
雷红轩; 盛莉
  收藏 | 浏览/下载：54/0 | 提交时间：2017/06/19
|
| 一种基于有限自动机的渐变镜头检测算法 期刊论文
http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=JSJA200601070&dbname=CJFQ2006, 2012, 2012
佟子健; 袁进辉; 郑武杰; 林福宗; 张钹
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/15
|
| 基于概率模型检测的Web服务组合验证 期刊论文
2012, 卷号: 39, 期号: [db:dc_citation_issue], 页码: 120
作者: 王晶[1]; 戎玫[2]; 张广泉[1,3]; 祝义[4]
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/03
|
| 基于扩展自动机的服务组合静态与动态验证方法 期刊论文
通信学报, 2012, 期号: S1, 页码: 1-8
张广泉; 狄浩军; 石慧娟; 晏荣杰; 朱雪阳
收藏 | 浏览/下载：10/0 | 提交时间：2013/09/17
|
| 一种分布式制造系统控制结构的形式化建模方法 期刊论文
《系统仿真学报》, 2012, 卷号: 24, 页码: 1693-1696
作者: 陈玮[1]; 翟振坤[1,2]
收藏 | 浏览/下载：1/0 | 提交时间：2019/04/26
|
| 基于有限状态自动机的电镀电源多波形输出方法 期刊论文
《电源学报》, 2012, 页码: 55-59
作者: 张成[1]; 王学梅[1]; 丘东元[1]; 张波[1]
收藏 | 浏览/下载：2/0 | 提交时间：2019/04/26
|
| 基于动态消费行为的新产品扩散模型研究 学位论文
2012
作者: 王峰
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 焊接熔池凝固过程枝晶生长模拟研究 学位论文
: 西安理工大学, 2012
作者: 张喜兵
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/20
|
| 右线性文法与有限自动机等价性的一个新证明 期刊论文
电脑与信息技术, 2012, 期号: 1
作者: 韩光辉; 曾诚
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 基于FSA的模型检测算法研究 期刊论文
2012, 卷号: 29, 期号: 5, 页码: 58-62
作者: 王扣武; 张珺铭; 龙士工; 董方
收藏 | 浏览/下载：5/0 | 提交时间：2020/01/05
|
