李晓红
- 教师名称：李晓红
- 教师拼音名称：XiaoHong Li
- 性别：女
- 职务：Dean of Computer and Information Technology Dept.
- 职称：教授
其他联系方式
- 邮编：
- 传真：
- 通讯/办公地址：
- 邮箱：
37. Sun J, Liu Y, Song S, et al. PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems[C]// International Conference on Formal Methods and Software Engineering. Springer-Verlag, 2011:147-162. (与新加坡国立合作)（软件工程Rank2的会议）
点击次数:
是否译文:否
上一条:38. Li X, Wang X, Zhang T, et al. Software trustworthness evaluation based on weakness analysis and testing assessment[J]. Journal of Tsinghua University, 2011, 51(10):1287-1293.（EI 20114514493937） 下一条:36. Li X, Cao Y, Feng Z, et al. Web Service Security Analysis Model Based on Program Slicing[C]// International Conference on Quality Software. IEEE, 2010:422-428. (EI20104313329114)