天津大学教师个人主页系统李晓红 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的会议） Professor Xiaohong Li

Personal HomePage

+

XiaoHong Li

Personal Information

Gender:Female

Date of Employment:2018年06月08日

Administrative Position:Dean of Computer and Information Technology Dept.

Other Contact Information

Zipcode :

Fax :

Postal Address :

E-mail :

Professor Xiaohong Li > Academic Achievements > Selected Papers

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的会议）

Date：2017-10-18 Hits:

Translation or Not:no

Date of Publication:2017-10-19

Pre One: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） Next One: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)