承担国家项目资助发文

评价性排序:

共有记录20条

序号	题名	作者	文献来源	发表年份	被引频次	下载频次
1	基于时序逻辑的Web服务安全形式化描述与分析	刘洪燕	中国优秀博硕士学位论文全文数据库 (硕士)	2006	0	69
2	Web服务提供方安全模型的设计、建模与分析	刘洪燕;段振华;张鹏飞;	计算机技术与发展	2006	0	52
3	多速率混合系统的符号化可达性分析	张海宾;段振华;	西安交通大学学报	2007	1	48
4	稠密时间区间时序逻辑的可满足性判定	张海宾;段振华;	西安电子科技大学学报	2007	1	48
5	入侵检测中模式匹配算法的FPGA实现	郭军;笹尾勤;	系统仿真学报	2007	2	121
6	多速率混合系统的模型检查	张海宾;段振华;	西安电子科技大学学报	2008	0	24
7	决策形式背景的概念格属性约简	魏玲;祁建军;张文修;	中国科学(E辑:信息科学)	2008	0	90
8	基于SPIN的CSCW系统的验证	单卓为;鱼滨;	计算机技术与发展	2008	0	22
9	Attribute reduction theory of concept lattice based on decision formal contexts	-	Science in China(Series F:Information Sciences)	2008	0	9
10	DDoS攻击及主动防御模型研究	刘旭勇;	计算机技术与发展	2008	0	43
11	一种基于Petri网的自动Web服务组合算法	门鹏;段振华;	西安电子科技大学学报	2008	0	94
12	广义随机Petri网下的组合Web服务建模与评价	门鹏;段振华;	西安交通大学学报	2008	0	82
13	支持MDA的交互式需求获取方法及辅助工具	鱼滨;张琛;郝克刚;	计算机科学	2008	0	32
14	基于代数的模糊Petri网逆向推理算法	门鹏;段振华;	系统仿真学报	2007	0	54
15	双变迁Petri网的电路模拟技术研究	郭军;郝克刚;	系统仿真学报	2007	0	32

1 2 下页