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

Item hits: (Results 1-5 of 5)

Items/Page: Sort:
	a hybrid system approach to the analysis and design of power grid dynamic performance [期刊论文] Proceedings of the IEEE, 2012-01-01, 卷号: 100, 期号: 1, 页码: 225-239 Susuki Yoshihiko; Koo T. John; Ebina Hiroaki; Yamazaki Takuya; Ochi Takashi; Uemura Takuji; Hikihara Takashi
	assume-guarantee reasoning with local specifications [会议论文] 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, 40848 Lomuscio Alessio; Strulo Ben; Walker Nigel; Wu Peng \|
	stable and efficient miscible liquid-liquid interactions [会议论文] ACM Symposium on Virtual Reality Software and Technology, Newport Beach, CA, NOV 05-07, Zhu Hongbin; Bao Kai; Wu Enhua; Liu Xuehui \|
	minimizing response time implication in dvs scheduling for low power embedded systems [会议论文] 4th International Conference on Innovations in Information Technology, Dubai, U ARAB EMIRATES, NOV 18-20, Min-Allah Nasro; Kazmi Asad-Raza; Ali Ishtiaq; Xing Jian-Sheng; Wang Yong-Ji \|
	几个门限群签名方案的弱点 [期刊论文] 软件学报, 2000-01-01, 卷号: 11, 期号: 10, 页码: 1326-1332 王贵林; 卿斯汉 \|


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