北京航空航天大学主页平台系统 Zhang Li--Home-- 连小利，张莉*.基于时间自动机的 AADL 端到端流的延迟分析［J］．北京航空航天大学学报，2015 ，41 ( 8 ) : 1451-1463. Lian X L ，Zhang L． Approach to analyzing AADL end-to-end flow latency based on timed automata［ J］． Journal of Beijing University of Aeronautics and Astronautics ，2015 ，41 ( 8 ) : 1451-1463 ( in Chinese ) ．

· Paper

Current position: Home > Paper

连小利，张莉*.基于时间自动机的 AADL 端到端流的延迟分析［J］．北京航空航天大学学报，2015 ，41 ( 8 ) : 1451-1463. Lian X L ，Zhang L． Approach to analyzing AADL end-to-end flow latency based on timed automata［ J］． Journal of Beijing University of Aeronautics and Astronautics ，2015 ，41 ( 8 ) : 1451-1463 ( in Chinese ) ．

Release time:2020-01-16Hits:

Translation or Not: no

Pre One:: 张莉,彭远红.探索软件工程领域专业硕士培养模式.计算机教育, 2015,01期, p2.

Next One:: 邵真禄, 张莉, 凌济民. CP-PMTT:一个基于控制流模式的过程模型转换工具. 计算机集成制造系统, 2015, 21(2): 304-315. (EI: 20151600746405) (2015年2月, 第21卷2期)