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

Search Results

Help

Item hits: (Results 31-40 of 78)

Items/Page:    Sort:
嵌套布尔图求解 [学位论文]
博士, 北京: 中国科学院研究生院, 2011-07-28
郑维
  |  
 
基于模型检测的安全协议形式化分析方法的研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-05-26
赵振举
  |  
 
基于XYZ/ADL的异步Web服务组合描述与验证 [期刊论文]
计算机科学, 2011-01-01, 卷号: 38, 期号: 12, 页码: 139-143
石慧娟; 戎玫; 张广泉; 朱稷涵

 
数据和时间感知的Web服务组合模型检测 [期刊论文]
计算机科学, 2011-01-01, 卷号: 38, 期号: 11, 页码: 123-126,136
狄浩军; 戎玫; 张广泉; 朱稷涵

 
构建度量区时序逻辑的时间自动机 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 568-571,575
王勤思
  |  
 
带时间约束的LTL性质的模型检测的实现 [期刊论文]
计算机工程与设计, 2011-01-01, 期号: 2, 页码: 564-567
部德振
  |  
 
一种面向Web服务源程序的谓词抽象验证方法 [期刊论文]
苏州大学学报(工科版), 2011-01-01, 期号: 2, 页码: 14-19
任强; 张广泉
  |  
 
带时间约束的LTL公式的模型检测技术及工具实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
部德振
  |  
 
卫命令模型检测工具的设计与实现 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
王绍春
  |  
 
构建度量区间时序逻辑的时间自动机 [学位论文]
硕士, 北京: 中国科学院研究生院, 2010-06-03
王勤思
  |  
 

previous 1 2 3 4 5 6 7 8 next

 

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