基于概率检测的自律可信性分析,张海涛,王慧强,本文给出了一种自律计算系统的定量分析方法,采用概率模型检测的方法,以服务角度对自律计算系统进行建模,并对模型性质进行形式