CORC  > 武汉大学
一种基于进程代数的软件可信性度量模型
杨文忠; 黄传河; 张振宇
刊名武汉理工大学学报(信息与管理工程版)
2011
期号6
关键词进程代数 软件可信性 软件需求 逆向工程 软件踪迹
ISSN号1007-144X
URL标识查看原文
收录类别CNKI
语种中文
内容类型期刊论文
URI标识http://www.corc.org.cn/handle/1471x/3942929
专题武汉大学
推荐引用方式
GB/T 7714
杨文忠,黄传河,张振宇. 一种基于进程代数的软件可信性度量模型[J]. 武汉理工大学学报(信息与管理工程版),2011(6).
APA 杨文忠,黄传河,&张振宇.(2011).一种基于进程代数的软件可信性度量模型.武汉理工大学学报(信息与管理工程版)(6).
MLA 杨文忠,et al."一种基于进程代数的软件可信性度量模型".武汉理工大学学报(信息与管理工程版) .6(2011).
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace