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

Search Results

Help

Item hits: (Results 1-4 of 4)

Items/Page:    Sort:
Godson-T缓存一致性协议的Murphi建模和验证 [期刊论文]
计算机系统应用, 2013-01-01, 期号: 10, 页码: 124-128
周琰

 
checking inconsistency of rule sets in active real-time databases [会议论文]
11th IEEE High Assurance Systems Engineering Symposium, Nanjing, PEOPLES R CHINA, DEC 03-05,
Zhang Jian
  |  
 
computing invariants for parameter abstraction [会议论文]
ACM/IEEE International Conference on Formal Methods and Models for Co-Design, Nice, FRANCE, MAY 30-JUN
Lv Yi; Lin Huimin; Pan Hong
  |  
 
a timed workflow process model [期刊论文]
JOURNAL OF SYSTEMS AND SOFTWARE, 2001-01-01, 卷号: 55, 期号: 3, 页码: 231-243
Zhuge H; Cheung TY; Pung HK

 

1

 

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