北京航空航天大学学报  2015, Vol. 41 Issue (8): 1451-1463    DOI: 10.13700/j.bh.1001-5965.2014.0615
  论文 本期目录 | 过刊浏览 | 高级检索 |
基于时间自动机的AADL端到端流的延迟分析
连小利, 张莉
北京航空航天大学 计算机学院, 北京 100191
Approach to analyzing AADL end-to-end flow latency based on timed automata
LIAN Xiaoli, ZHANG Li
School of Computer Science and Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100191, China
版权所有 © 《北京航空航天大学学报》编辑部
地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 电子信箱:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn