可信性质相关硕士博士期刊学术论文 - 搜论网

可信性质相关论文

基于模型检验的构件验证技术研究进展

模型检验以其自动化程度和完备性高、与构件技术互补性强等特点,在软件构件可信性质的分析和验证中发挥着日益重要的作用.将基于模......

期刊

构件模型检验形式化描述验证可信性质 component model checking formal specification verification

基于属性的软件可信性度量模型研究

随着软件规模越来越大,故障和漏洞在所难免,再加之软件开发和运行环境从封闭、静态环境到开放、动态环境转变所导致的很多不确定因......

学位

软件可信性度量软件可信属性模型可信性质静态分析用户预期

看过本文同时还关注