中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

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 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In