张琛
个人信息:Personal Information
副教授 博士生导师 研究生导师
性别:女
毕业院校:西安电子科技大学
学历:博士研究生毕业
学位:博士学位
在职信息:在岗
所在单位:计算机科学与技术学院
学科:计算机科学与技术
办公地点:主楼四区322
联系方式:zhangc@xidian.edu.cn
电子邮箱:
扫描关注
Modeling, verification and test of interactive behaviors in distributed software systems
点击次数:
所属单位:计算机学院
发表刊物:Jisuanji Yanjiu yu Fazhan/Computer Research and Development
第一作者:Zhang, Chen ; Duan, Zhenhua ; Tian, Cong ; Yu, Bin
论文编号:EI 20153901305203
卷号:52
期号:7
页面范围:1604-1619
是否译文:否
发表时间:2015-01-01
收录刊物:EI