天津大学教师个人主页系统李晓红 59. Chen, M., Tan, T. H., Sun, J., Liu, Y., Pang, J., & Li, X. (2013, October). Verification of functional and non-functional requirements of web service composition. In International Conference on Formal Engineering Methods (pp. 313-328). Springer, Berlin, Heidelberg. (EI 20135017078295) 中文主页

李晓红

教师名称：李晓红
教师拼音名称：XiaoHong Li
性别：女
职务：Dean of Computer and Information Technology Dept.
职称：教授

其他联系方式

邮编：
传真：
通讯/办公地址：
邮箱：

论文成果

59. Chen, M., Tan, T. H., Sun, J., Liu, Y., Pang, J., & Li, X. (2013, October). Verification of functional and non-functional requirements of web service composition. In International Conference on Formal Engineering Methods (pp. 313-328). Springer, Berlin, Heidelberg. (EI 20135017078295)

点击次数:

是否译文:否

上一条:60. 刘月朋, 李晓红，石红，冯志勇.Android平台下基于联网行为的软件安全检测方法. 第十二届全国软件与应用学术会议(NASAC2013), 2013.(已录用) 下一条:58. Yan L, Li X, Feng R, et al. Detection Method of the Second-Order SQL Injection in Web Applications[M]// Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2013:154-165.