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

Search Results

Help

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
  |  
 

1

 

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