三分之二互模拟相关硕士博士期刊学术论文 - 搜论网

三分之二互模拟相关论文

软件的近似正确性及与环境交互度量模型研究

随着软件系统的日趋庞大和复杂,软件可信性问题越来越得到人们的关注.软件的可信性是在软件的正确性、可靠性、安全性等众多属性基......

学位

软件实现软件规范进程代数(CCS) 概率进程代数参数化互模拟三分之二互模拟完整迹度量拓扑

基于环境的软件正确性形式化描述

　　软件的运行依赖于环境，在考察软件正确性时需要考虑环境的因素。软件在开发和设计过程中，其正确性是一个逐渐改进的过程，也就是说......

期刊

运行环境软件规范极限形式进程演算

看过本文同时还关注