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

Search Results

Help

Item hits: (Results 1-3 of 3)

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

 
FAPKC签名和加密混合使用的安全性分析 [期刊论文]
计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 10, 页码: 1692-1697
韩小西; 姚刚
  |  
 
分解弱可逆有限自动机的两个结果 [期刊论文]
计算机研究与发展, 2005-01-01, 卷号: 42, 期号: 4, 页码: 690-696
王鸿吉
  |  
 

1

 

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