Hits:

Affiliation of Author(s):计算机学院

Title of Paper:Modeling, verification and test of interactive behaviors in distributed software systems

Journal:Jisuanji Yanjiu yu Fazhan/Computer Research and Development

First Author:Zhang, Chen ; Duan, Zhenhua ; Tian, Cong ; Yu, Bin

Document Code:EI 20153901305203

Volume:52

Issue:7

Page Number:1604-1619

Translation or Not:no

Date of Publication:2015-01-01

Included Journals:EI