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

Search Results

Help

Item hits: (Results 71-78 of 78)

Items/Page:    Sort:
时间符号迁移图上的可达性分析 [期刊论文]
计算机学报, 2003-01-01, 卷号: 26, 期号: 1, 页码: 19-25
陈靖
  |  
 
带实时的传值与移动系统研究 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
陈靖
  |  
 
一个并发传值系统自动验证工具的图形界面实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003-01-01
肖颖奇
  |  
 
面向传值进程的一阶模态逻辑的可判定性与模型检测 [期刊论文]
中国科学E辑, 2003-01-01, 卷号: 33, 期号: 2, 页码: 97-110
薛锐; 林惠民
  |  
 
传值进程模型检测中诊断信息的生成 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 1, 页码: 40186
刘剑; 林惠民
  |  
 
面向传值进程的谓词μ-演算与FO(HML)的完备推演系统 [期刊论文]
计算机学报, 2002-01-01, 卷号: 25, 期号: 6
薛锐; 林惠民
  |  
 
模型检测:理论、方法与应用 [期刊论文]
电子学报, 2002-01-01, 卷号: 30, 期号: z1
林惠民; 张文辉
  |  
 
π演算模型检测系统的设计与实现 [学位论文]
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2000-01-01
方海
  |  
 

previous 1 2 3 4 5 6 7 8

 

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