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

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.

Date：2017-10-18  Hits:

Translation or Not:no

Date of Publication:2017-10-19

Pre One: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. Next One:71. 杜长霄, 李晓红, 石红, 等. J2EE 应用软件的架构安全评估方法[J]. 计算机科学与探索, 2014, 8(5): 572-581.

Click:

Link:Home

The Last Update Time:..

Address: No. 92, Weijin Road, Nankai District, Tianjin Zip Code: 300072