首页
期刊简介
期刊介绍
影响因子
获奖情况
收录情况
编辑部简介
编委会
征稿征订
征稿简则
征订说明
联系我们
English
基于概率时间自动机Web服务质量的形式化建模分析
陆闯, 刘淑芬, 王晓燕
Formal Modeling Analysis of Web QoS Based on PTA
LU Chuang, LIU Shufen, WANG Xiaoyan
吉林大学学报(理学版) . 2015, (
03
): 531 -537 .