中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-8 of 8)

Items/Page:    Sort:
确定性正则语言的研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2014-05-29
陆平
  |  
 
基于扩展自动机的服务组合静态与动态验证方法 [期刊论文]
通信学报, 2012-01-01, 期号: S1, 页码: 1-8
张广泉; 狄浩军; 石慧娟; 晏荣杰; 朱雪阳

 
有限自动机密码体制及其应用研究 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2007-01-13
韩小西
  |  
 
FAPKC签名和加密混合使用的安全性分析 [期刊论文]
计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 10, 页码: 1692-1697
韩小西; 姚刚
  |  
 
分解弱可逆有限自动机的两个结果 [期刊论文]
计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 4, 页码: 690-696
王鸿吉
  |  
 
有限自动机可逆性的若干结果 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
姚刚
  |  
 
体系结构描述语言XADL和组合失配检测 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 12
张波; 冯玉琳; 黄涛
  |  
 
基于FAPKC算法的电子税务的设计与实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001-01-01
罗卿
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace