...对软件系统的可信性进行形式化刻画和度量,主要的贡献可以概括为以下几方面: 理论:(1)随机-混成进程代数(Stochastic-Hybrid CSP,S-HCSP)可信性量化理论.将随机因素引入HCSP,得到修改后的语言称为S-HCSP.
基于1个网页-相关网页
随机-混成进程代数
Random-hybrid process algebra
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动