CSpace

Browse/Search Results:  1-10 of 41 Help

Selected(0)Clear Items/Page:    Sort:
问题框架方法的可靠性关注点及系统可靠性增强模式 期刊论文
计算机学报, 2013, 卷号: 036, 期号: 001, 页码: 074
Authors:  尹斌;  金芝;  李智
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
知识引导的软件可信性需求的提取 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 011, 页码: 2165
Authors:  王越;  刘春;  张伟;  金芝
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
从交互情景出发的需求捕获方法及其支撑工具 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 002, 页码: 329
Authors:  陈小红;  尹斌;  金芝
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
基于时间自动机的物联网服务建模和验证 期刊论文
计算机学报, 2011, 卷号: 034, 期号: 008, 页码: 1365
Authors:  李力行;  金芝;  李戈
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
曲面变形的水平集方法 期刊论文
计算机学报, 2009, 卷号: 000, 期号: 002, 页码: 213
Authors:  潘青;  徐国良
Favorite  |  View/Download:3/0  |  Submit date:2020/01/10
面向服务的建模:一种全过程复用的方法 期刊论文
计算机学报, 2008, 卷号: 031, 期号: 008, 页码: 1293
Authors:  吴步丹;  金芝;  赵彬
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
基于共享位置的Petri网系统综合与保性 期刊论文
计算机学报, 2007, 卷号: 030, 期号: 003, 页码: 352
Authors:  焦莉;  陆维明
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
一个基于强RSA数字签名方案的改进 期刊论文
计算机学报, 2006, 卷号: 029, 期号: 009, 页码: 1617
Authors:  曹正军;  刘木兰
Favorite  |  View/Download:4/0  |  Submit date:2020/01/10
数字签名方案中的孤悬因子和冗余数据 期刊论文
计算机学报, 2006, 卷号: 029, 期号: 002, 页码: 249
Authors:  曹正军;  刘木兰
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10
关于可移动agent系统位置透明通信的一种实现的一点注记 期刊论文
计算机学报, 2003, 卷号: 026, 期号: 004, 页码: 511
Authors:  周龙骧
Favorite  |  View/Download:2/0  |  Submit date:2020/01/10