中国开放科研知识云: 检索

扩展正则表达式及其自动机的学习算法的研究 学位论文
博士, 北京: 中国科学院研究生院, 2021
作者: 汪小凡

收藏 | 浏览/下载：14/0 | 提交时间：2021/06/22

确定性正则语言的研究 学位论文
博士, 北京: 中国科学院研究生院, 2014
陆平

收藏 | 浏览/下载：12/0 | 提交时间：2014/05/29

基于扩展自动机的服务组合静态与动态验证方法 期刊论文
通信学报, 2012, 期号: S1, 页码: 1-8
张广泉; 狄浩军; 石慧娟; 晏荣杰; 朱雪阳

收藏 | 浏览/下载：10/0 | 提交时间：2013/09/17

有限自动机密码体制及其应用研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
韩小西

收藏 | 浏览/下载：13/0 | 提交时间：2011/03/17

工作流过程图形建模及基于自动机的动态语义 期刊论文
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 1, 页码: 8-13
董广智; 田勇; 柳军飞

收藏 | 浏览/下载：130/5 | 提交时间：2011/07/01

有限精度时间自动机的可达性检测 期刊论文
软件学报, 2006, 卷号: 17, 期号: 1
晏荣杰; 李广元; 徐雨波; 刘春明; 唐稚松

收藏 | 浏览/下载：8/0 | 提交时间：2010/08/26

一种基于有限精度时间自动机的模型检测工具 期刊论文
计算机应用研究, 2006, 期号: 5, 页码: 121-125
徐雨波; 晏荣杰

收藏 | 浏览/下载：4/0 | 提交时间：2011/07/13

有限精度时间自动机的时钟表示 期刊论文
计算机应用研究, 2006, 期号: 7, 页码: 23-25,31
刘春明; 晏荣杰; 徐雨波

收藏 | 浏览/下载：4/0 | 提交时间：2011/07/13

FAPKC签名和加密混合使用的安全性分析 期刊论文
计算机研究与发展, 2005, 卷号: 42, 期号: 10, 页码: 1692-1697
韩小西; 姚刚

收藏 | 浏览/下载：8/0 | 提交时间：2011/07/28

分解弱可逆有限自动机的两个结果 期刊论文
计算机研究与发展, 2005, 卷号: 42, 期号: 4, 页码: 690-696
王鸿吉

收藏 | 浏览/下载：11/0 | 提交时间：2011/07/28

在结果中检索