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

Search Results

Help

Item hits: (Results 11-20 of 21)

Items/Page:    Sort:
一种以活动为中心的软件过程元模型 [期刊论文]
计算机工程与设计, 2004-01-01, 卷号: 25, 期号: 4, 页码: 612-615
张颖; 施海虎; 柳军飞
  |  
 
密码协议的一种基于组合推理的模型验证 [期刊论文]
通信学报, 2003-01-01, 卷号: 24, 期号: 9, 页码: 122-127
刘怡文; 李伟琴; 冯登国
  |  
 
密码协议的一种安全模型 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 6, 页码: 1148-1156
刘怡文; 李伟琴; 冯登国
  |  
 
有穷状态XYZ/E程序的模型检查研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2002-01-01
赵海云
  |  
 
基于线性时序逻辑的实时系统模型检查 [期刊论文]
软件学报, 2002-01-01, 卷号: 13, 期号: 2
李广元; 唐稚松
  |  
 
一种基于对象序列图的组件交互协议设计方法 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 7, 页码: 996-1006
魏峻; 王栩; 李京
  |  
 
LTLC:面向实时与混成系统的连续时序逻辑 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001-01-01
李广元
  |  
 
认证协议的形式化分析方法研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999-01-01
丁一强
  |  
 
多Agent软件系统体系结构及开发方法的研究-以工控系统组态软件SYNALL为例 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1999-01-01
朱军
  |  
 
基于T3BDD的动态模型检查S [期刊论文]
软件学报, 1999-01-01, 卷号: 10, 期号: 10
倪彬; 冯玉琳; 黄涛
  |  
 

previous 1 2 3 next

 

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