北京航空航天大学主页平台系统张莉--中文主页-- 连小利，张莉*.基于时间自动机的 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 ) ．

个人信息

教授

教授博士生导师硕士生导师

电子邮箱：

所在单位：计算机学院

学历：博士研究生

办公地点：北京航空航天大学学院路校区新主楼

在职信息：在职

主要任职：校教学指导委员会副主任、校学术委员会委员、校务委员会委员；计算机学院软件工程研究所所长。

其他任职：教育部软件工程专业教学指导委员会委员，全国高等学校计算机教育研究会副理事长。中国工程教育计算机专业认证委员会委员。计算机学会教育专委会主任、软件工程专委常委。国家级一流本科课程负责人，教育部编译课程虚拟教研室负责人，101计划编译原理课程负责人

当前位置: 中文主页 >> 论文

发布时间：2020-01-16 点击次数：

是否译文：否