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

Search Results

Help

Item hits: (Results 1-7 of 7)

Filters        
Items/Page:    Sort:
cupping and diamond embeddings: a unifying approach [会议论文]
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, 27-Jun-02
Fang Chengling; Liu Jiang; Wu Guohua
  |  
 
model checking linear duration invariants of networks of automata [会议论文]
3rd IPM International Conference on Fundamentals of Software Engineering, Conference, FSEN 2009, Kish Island, Iran, April 15,
Zhang Miaomiao; Liu Zhiming; Zhan Naijun
  |  
 
a memory model for static analysis of c programs [会议论文]
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834
Xu Zhongxing; Kremenek Ted; Zhang Jian
  |  
 
checking timed buchi automata emptiness using lu-abstractions [学位论文]
, 2009-01-01
Li Guangyuan

 
what semantic equivalences are suitable for non-interference properties in computer security [会议论文]
9th International Conference on Information and Communications Security, ICICS 2007, Zhengzhou, China, 40878
Huang Xiaowei; Jiao Li; Lu Weiming
  |  
 
efficient state space reduction for automata by fair simulation [会议论文]
International Symposium on Fundamentals of Software Engineering, Tehran, IRAN, APR 17-19,
Yi Jin; Zhang Wenhui
  |  
 
from mathematics to software engineering: introducing category theory into the computer science curriculum [会议论文]
7th International Conference on Computational Science (ICCS 2007), Beijing, PEOPLES R CHINA, MAY 27-30,
Zheng Yujun; Shi Haihe; Xue Jinyun
  |  
 

1

 

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