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

Search Results

Help

Item hits: (Results 11-14 of 14)

Filters    
Items/Page:    Sort:
a graph-based implementation for mechanized refinement calculus of oo programs [会议论文]
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, 8-Nov
Liu Zhiming; Morisset Charles; Wang Shuling
  |  
 
knowledge-theoretic approach to formal verification of web services protocols [会议论文]
2010 IEEE International Conference on Software Engineering and Service Sciences, ICSESS 2010, Beijing, China, 37453
Yao Guoxiang; Chen Qingliang; Liu Chanjuan; Yang Zhuolin
  |  
 
a note on regular petri nets [期刊论文]
INFORMATION PROCESSING LETTERS, 2008-01-01, 卷号: 108, 期号: 3, 页码: 110-114
Jiao Li
  |  
 
study on strand space model theory [期刊论文]
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003-01-01, 卷号: 18, 期号: 5, 页码: 553-570
Ji QG; Qing SH; Zhou YB; Feng DG
  |  
 

previous 1 2

 

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