李晓红
- 教师名称：李晓红
- 教师拼音名称：XiaoHong Li
- 性别：女
- 职务：Dean of Computer and Information Technology Dept.
- 职称：教授
其他联系方式
- 邮编：
- 传真：
- 通讯/办公地址：
- 邮箱：
72. Wang T, Sun J, Wang X, et al. A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata[J]. Software Engineering IEEE Transactions on, 2015, 41(1):3-18.
点击次数:
是否译文:否
上一条:73. Xie X, Liu Y, Le W, et al. S-looper: automatic summarization for multipath string loops[C]// International Symposium on Software Testing and Analysis. ACM, 2015:188-198. 下一条:71. 杜长霄, 李晓红, 石红, 等. J2EE 应用软件的架构安全评估方法[J]. 计算机科学与探索, 2014, 8(5): 572-581.