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

Item hits: (Results 1-4 of 4)

Items/Page: Sort:
	Communication-oriented performance optimisation during code generation from simulink models [期刊论文] International Journal of Embedded Systems, 2014-01-01, 卷号: 6, 期号: 2-3, 页码: 124-134 Yan, Rongjie; Yu, Min; Huang, Kai; Zhang, Xiaomeng
	Modeling and verifying of CPS component services based on hybrid automata [期刊论文] International Journal of Multimedia and Ubiquitous Engineering, 2014-01-01, 卷号: 9, 期号: 6, 页码: 49-57 Zhang, Jianning; Zhang, Guanquan; Yan, Rongjie; Zhu, Yi; Qi, Xingjun
	model construction and priority synthesis for simple interaction systems [会议论文] 3rd NASA Formal Methods Symposium, NFM 2011, Pasadena, CA, United states, April 18, Cheng Chih-Hong; Bensalem Saddek; Jobstmann Barbara; Yan Rongjie; Knoll Alois; Ruess Harald
	improvements for the symbolic verification of timed automata [会议论文] 27th International Conference on Formal Techniques for Networked and Distributed Systems, Tallinn, ESTONIA, JUN 27-29, Yan Rongjie; Li Guangyuan; Zhang Wenliang; Peng Yunquan \|


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