张琛

个人信息: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

Baidu
map