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

Search Results

Help

Item hits: (Results 1-10 of 13)

Items/Page:    Sort:
Radl 形式规格说明相对正确性研究 [期刊论文]
Journal of Software, 2013-01-01, 卷号: 24, 期号: 4
Wang Changjing; Xue Jinyun

 
Radl形式规格说明相对正确性研究 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 4, 页码: 715-729
王昌晶; 薛锦云

 
XSM的静态分析和验证技术研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
邓程
  |  
 
基于静态分析的XSM正确性验证 [期刊论文]
计算机应用与软件, 2012-01-01, 卷号: 29, 期号: 9, 页码: 1-5,22
邓程; 丁丽萍; 贺也平; 韩伟

 
组合优化问题简约与算法推演 [期刊论文]
Journal of Software, 2011-01-01, 卷号: 22, 期号: 9, 页码: 1985-1993
郑宇军; 薛锦云; 凌海风

 
SRL→Radl生成系统及其相关理论研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-09-01
王昌晶
  |  
 
基于静态分析的强制访问控制框架的正确性验证 [期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 4, 页码: 730-739
吴新松; 周洲仪; 贺也平; 梁洪亮; 袁春阳
  |  
 
工作流过程图形建模及基于自动机的动态语义 [期刊论文]
计算机辅助设计与图形学学报, 2007-01-01, 卷号: 19, 期号: 1, 页码: 8-13
董广智; 田勇; 柳军飞
  |  
 
形式化分析方法在OnceAS设计和实现中的应用 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-15
李彦
  |  
 
程序静态分析技术与工具 [期刊论文]
计算机科学, 2004-01-01, 卷号: 31, 期号: 2, 页码: 171-174
杨宇; 张健
  |  
 

1 2 next

 

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