...对软件系统的可信性进行形式化刻画和度量,主要的贡献可以概括为以下几方面： 理论：(1)随机-混成进程代数(Stochastic-Hybrid CSP,S-HCSP)可信性量化理论.将随机因素引入HCSP,得到修改后的语言称为S-HCSP.
基于1个网页-相关网页
...统的可信性进行形式化刻画和度量,主要的贡献可以概括为以下几方面： 理论：(1)随机-混成进程代数(Stochastic-Hybrid CSP,S-HCSP)可信性量化理论.将随机因素引入HCSP,得到修改后的语言称为S-HCSP.
基于1个网页-相关网页
随机-混成进程代数 Stochastic-Hybrid CSP
应用推荐