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

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
compositional verification of liveness property in inhibitor-arc connections of petri net systems [期刊论文]
Journal of Software, 2012-01-01, 卷号: 7, 期号: 3, 页码: 499-507
Pu Fei
  |  
 
the preservation of liveness in self-loops connection of petri net systems [会议论文]
3rd International Conference on Multimedia Information Networking and Security, MINES 2011, Shanghai, China, November 4
Fei Pu

 
fault localization through reasoning and sat solving [会议论文]
2011 International Conference on Energy and Environmental Science, ICEES 2011, Singapore, Singapore, October 14
Pu Fei

 
dynamic invariance and reversibility preservation in self-loops connection of petri net systems [会议论文]
2nd International Conference on Information Computing and Applications, ICICA 2011, Qinhuangdao, China, October 28
Pu Fei

 
partition refinement in abstract model checking [会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Pu Fei; Zhang Wenhui
  |  
 
ltl model checking via search space partition [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei; Zhang Wenhui
  |  
 
ltl model checking via search space partition [会议论文]
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei; Zhang Wenhui
  |  
 

1

 

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