分布式软件系统交互行为建模、验证与测试

张琛; 段振华; 田聪; 鱼滨

doi:10.7544/issn1000-1239.2015.20140244

分布式软件系统交互行为建模、验证与测试

张琛, 段振华, 田聪, 鱼滨

文章导航 > 计算机研究与发展 > 2015 > 52(7): 1604-1619.

张琛, 段振华, 田聪, 鱼滨. 分布式软件系统交互行为建模、验证与测试[J]. 计算机研究与发展, 2015, 52(7): 1604-1619. doi: 10.7544/issn1000-1239.2015.20140244

引用本文:

张琛, 段振华, 田聪, 鱼滨. 分布式软件系统交互行为建模、验证与测试[J]. 计算机研究与发展, 2015, 52(7): 1604-1619. doi: 10.7544/issn1000-1239.2015.20140244

Zhang Chen, Duan Zhenhua, Tian Cong, Yu Bin. Modeling, Verification and Test of Interactive Behaviors in Distributed Software Systems[J]. Journal of Computer Research and Development, 2015, 52(7): 1604-1619. doi: 10.7544/issn1000-1239.2015.20140244

Citation:

张琛, 段振华, 田聪, 鱼滨. 分布式软件系统交互行为建模、验证与测试[J]. 计算机研究与发展, 2015, 52(7): 1604-1619. doi: 10.7544/issn1000-1239.2015.20140244

引用本文:

张琛, 段振华, 田聪, 鱼滨. 分布式软件系统交互行为建模、验证与测试[J]. 计算机研究与发展, 2015, 52(7): 1604-1619. doi: 10.7544/issn1000-1239.2015.20140244

Citation:

摘要

HTML全文

参考文献(0)

施引文献

资源附件(0)

下载: 全尺寸图片幻灯片

返回文章

用微信扫码二维码

分享至好友和朋友圈